src/main/java/logic/is/power/tptp_parser/tptp_tester.java
/** Checks whether <strong> item </strong> is semantically well-formed 
     *  wrt the signature <strong> _signature </strong>. 
     *  Throws java.lang.Exception(<error description>) if the use of some symbol
     *  in <strong> item </strong> is inconsistent with its declaration in  
     *  <strong> _signature </strong>. Side effect: new symbols are declared in 
     *  <strong> _signature </strong>.
     *  @param item != null
     *  @param fileName file name to be used in error messages
     */
Checks whether  item  is semantically well-formed
wrt the signature  _signature .
Throws java.lang.Exception() if the use of some symbol
in  item  is inconsistent with its declaration in
 _signature . Side effect: new symbols are declared in
 _signature .
@param item != null
@param fileName file name to be used in error messages
Checks whether item is semantically well - formed wrt the signature _signature . Throws java . lang . Exception () if the use of some symbol in item is inconsistent with its declaration in _signature . Side effect : new symbols are declared in _signature . @param item ! = null @param fileName file name to be used in error messages
private 
    static void checkSemantically(SimpleTptpParserOutput.TopLevelItem item,
                                  String fileName) 
    throws Exception
  {
    assert item != null;
    _semanticCheckFileName = fileName;
    _semanticCheckLineNumber = item.getLineNumber();
    switch (item.getKind()) {
    case Formula: 
      checkSemantically(((SimpleTptpParserOutput.AnnotatedFormula)item).getFormula()); 
      break;
    case Clause: 
      checkSemantically(((SimpleTptpParserOutput.AnnotatedClause)item).getClause()); 
      break;
    case Include: break; 
    } 
  }
private static void checkSemantically ( SimpleTptpParserOutput . TopLevelItem item , String fileName ) throws Exception { assert item != null ; _semanticCheckFileName = fileName ; _semanticCheckLineNumber = item . getLineNumber ( ) ; switch ( item . getKind ( ) ) { case Formula : checkSemantically ( ( ( SimpleTptpParserOutput . AnnotatedFormula ) item ) . getFormula ( ) ) ; break ; case Clause : checkSemantically ( ( ( SimpleTptpParserOutput . AnnotatedClause ) item ) . getClause ( ) ) ; break ; case Include : break ; } }
Checks whether <strong> item </strong> is semantically well-formed
  wrt the signature <strong> _signature </strong>.
Checks whether <strong > item < / strong > is semantically well - formed wrt the signature <strong > _signature < / strong > .
// nothing to check