nltk.sem.ApplicationExpression.equiv ==================================== .. currentmodule:: nltk.sem .. automethod:: ApplicationExpression.equiv