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