tptp_fof.ml 6.16 KB