tptp_tff.ml 9.37 KB