nltk.sem.ApplicationExpression.typecheck
========================================

.. currentmodule:: nltk.sem

.. automethod:: ApplicationExpression.typecheck