src/main/java/logic/is/power/tptp_parser/TptpParserOutput.java
/** A correct implementation must return an object representing
     *  the binary formula obtained by applying <strong> connective </strong>
     *  to <strong> lhs </strong> and <strong> rhs </strong>.
     *  Note that the method must work with conjunction and disjunction,
     *  as well as with nonassociative connectives.
     *  @param lhs != null
     *  @param connective != null 
     *  @param rhs != null
     */
A correct implementation must return an object representing
the binary formula obtained by applying  connective 
to  lhs  and  rhs .
Note that the method must work with conjunction and disjunction,
as well as with nonassociative connectives.
A correct implementation must return an object representing the binary formula obtained by applying connective to lhs and rhs . Note that the method must work with conjunction and disjunction as well as with nonassociative connectives .
public 
    FofFormula 
    createBinaryFormula(FofFormula lhs,
                  BinaryConnective connective,
                  FofFormula rhs);
public FofFormula createBinaryFormula ( FofFormula lhs , BinaryConnective connective , FofFormula rhs ) ;
A correct implementation must return an object representing
  the binary formula obtained by applying <strong> connective </strong>
  to <strong> lhs </strong> and <strong> rhs </strong>.
A correct implementation must return an object representing the binary formula obtained by applying <strong > connective < / strong > to <strong > lhs < / strong > and <strong > rhs < / strong > .