private Sentence transformImpliedSentence(BinarySentence bs) { Sentence first = new UnarySentence((Sentence)bs.getFirst().accept( this, null)); return new BinarySentence("OR", first, (Sentence)bs.getSecond() .accept(this, null)); }