AIMA.Core.Logic.Propositional.Algorithms.PLFCEntails.HornClause.isImpliedSentence C# (CSharp) Method

            private bool isImpliedSentence(Sentence sentence)
            {
                return ((sentence is BinarySentence) && ((BinarySentence)sentence)
                        .getOperator().Equals("=>"));
            }