AIMA.Core.Logic.Propositional.Visitors.CNFTransformer.transformImpliedSentence C# (CSharp) Method

        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));
        }