src/java/tptp_parser/TptpParserOutput.java
/** A correct implementation must return a TptpInput object representing
     *  the instance of &#60include&#62 with the specified parameters.
     *  @param fileName != null
     *  @param formulaSelection satisfies
     *         (formulaSelection == null || formulaSelection.iterator().hasNext())
     *  @param lineNumber location in the input
     */
A correct implementation must return a TptpInput object representing
the instance of <include> with the specified parameters.
@param fileName != null
@param formulaSelection satisfies
(formulaSelection == null || formulaSelection.iterator().hasNext())
@param lineNumber location in the input
A correct implementation must return a TptpInput object representing the instance of <include > with the specified parameters . @param fileName ! = null @param formulaSelection satisfies ( formulaSelection == null || formulaSelection . iterator () . hasNext () ) @param lineNumber location in the input
public 
    TptpInput
    createIncludeDirective(String fileName,
                     Iterable<String> formulaSelection,
                     int lineNumber);
public TptpInput createIncludeDirective ( String fileName , Iterable < String > formulaSelection , int lineNumber ) ;
A correct implementation must return a TptpInput object representing
  the instance of &#60include&#62 with the specified parameters.
A correct implementation must return a TptpInput object representing the instance of &#60include&#62 with the specified parameters .