def equiv(self, other, prover=None):
        assert isinstance(other, DrtExpression)

        f1 = self.simplify().fol();
        f2 = other.simplify().fol();
        return f1.equiv(f2, prover)
Check for logical equivalence.
dataset/ETHPy150Open nltk/nltk/nltk/sem/drt.py/DrtExpression.equiv