nltk.sem.DRS.make_EqualityExpression

DRS.make_EqualityExpression(first, second)