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

.. currentmodule:: nltk

.. automethod:: DrtExpression.eliminate_equality