nltk.sem.DrtExpression.eliminate_equality
=========================================

.. currentmodule:: nltk.sem

.. automethod:: DrtExpression.eliminate_equality