src/main/java/logic/is/power/tptp_parser/TptpParserOutput.java
/** A correct implementation must return a TptpInput object representing
     *  <strong> clause </strong> wrapped in the corresponding annotation.
     *  @param name != null
     *  @param role != null 
     *  @param clause != null
     *  @param annotations can be null
     *  @param lineNumber location in the input
     */
A correct implementation must return a TptpInput object representing
 clause  wrapped in the corresponding annotation.
A correct implementation must return a TptpInput object representing clause wrapped in the corresponding annotation .
public 
    TptpInput
    createCnfAnnotated(String name,
                   FormulaRole role,
                   CnfFormula clause,
                   Annotations annotations,
                   int lineNumber);
public TptpInput createCnfAnnotated ( String name , FormulaRole role , CnfFormula clause , Annotations annotations , int lineNumber ) ;
A correct implementation must return a TptpInput object representing
  <strong> clause </strong> wrapped in the corresponding annotation.
A correct implementation must return a TptpInput object representing <strong > clause < / strong > wrapped in the corresponding annotation .