AIMA.Core.Logic.Propositional.Parsing.Ast.BinarySentence.firstTermIsAndSentence C# (CSharp) Method

        public bool firstTermIsAndSentence()
        {
            return (getFirst() is BinarySentence)
                    && (((BinarySentence)getFirst()).isAndSentence());
        }

 public override Object visitBinarySentence(BinarySentence bs, Object arg)
 {
     if (bs.isBiconditional())
     {
         return transformBiConditionalSentence(bs);
     }
     else if (bs.isImplication())
     {
         return transformImpliedSentence(bs);
     }
     else if (bs.isOrSentence()
           && (bs.firstTermIsAndSentence() || bs.secondTermIsAndSentence()))
     {
         return distributeOrOverAnd(bs);
     }
     else
     {
         return base.visitBinarySentence(bs, arg);
     }
 }