1/* <module> logicmoo_tptp - allows logicmoo engine to compare itself to LeanCop 2.1
    2%
    3% Maintainer: Douglas Miles
    4% Dec 13, 2035
    5%
    6*/
    7:- module(logicmoo_tptp,[]).    8      
    9:- fixup_exports.