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)) ()
    )