let to_tptp_term (term: term) : term = tptp_replace_relation (tptp_replace_domain_elements (tptp_replace_vars term))