test_tptp.ml 4 KB