let tptp_get_domain_element (i: int) : term = (* request_const (Symbol.create_skolem ~name:(" ^ string_of_int i ^ ") 0)*) request_const (Symbol.create_skolem ~name:(Some ("e" ^ string_of_int i)) () )