src/main/java/logic/is/power/tptp_parser/tptp_tester.java
/** Auxilliary for 
     *  checkSemantically(SimpleTptpParserOutput.TopLevelItem item,String fileName):
     *  checks whether <strong> formula </strong> is semantically well-formed 
     *  wrt the signature <strong> _signature </strong>. Side effect: new symbols are 
     *  declared in <strong> _signature </strong>.
     */
Auxilliary for
checkSemantically(SimpleTptpParserOutput.TopLevelItem item,String fileName):
checks whether  formula  is semantically well-formed
wrt the signature  _signature . Side effect: new symbols are
declared in  _signature .
Auxilliary for checkSemantically ( SimpleTptpParserOutput . TopLevelItem item String fileName ) : checks whether formula is semantically well - formed wrt the signature _signature . Side effect : new symbols are declared in _signature .
private 
    static void checkSemantically(SimpleTptpParserOutput.Clause clause) 
    throws Exception
  {
    if (clause.getLiterals() != null) {
      for (SimpleTptpParserOutput.Literal lit : clause.getLiterals()) 
        checkSemantically(lit.getAtom());
    };
  }
private static void checkSemantically ( SimpleTptpParserOutput . Clause clause ) throws Exception { if ( clause . getLiterals ( ) != null ) { for ( SimpleTptpParserOutput . Literal lit : clause . getLiterals ( ) ) checkSemantically ( lit . getAtom ( ) ) ; } ; }
Auxilliary for
  checkSemantically(SimpleTptpParserOutput.TopLevelItem item,String fileName):
  checks whether <strong> formula </strong> is semantically well-formed
  wrt the signature <strong> _signature </strong>.
Auxilliary for checkSemantically ( SimpleTptpParserOutput . TopLevelItem item String fileName ) : checks whether <strong > formula < / strong > is semantically well - formed wrt the signature <strong > _signature < / strong > .