nltk.DRS.equiv¶

DRS.equiv(other, prover=None)¶

Check for logical equivalence. Pass the expression (self <-> other) to the theorem prover. If the prover says it is valid, then the self and other are equal.

Parameters:	other – an DrtExpression to check equality against prover – a nltk.inference.api.Prover