nltk.Model.satisfy¶

Model.satisfy(parsed, g, trace=None)[source]¶

Recursive interpretation function for a formula of first-order logic.

Raises an Undefined error when parsed is an atomic string but is not a symbol or an individual variable.

Returns:	Returns a truth value or Undefined if parsed is complex, and calls the interpretation function i if parsed is atomic.
Parameters:	parsed – An expression of logic. g (Assignment) – an assignment to individual variables.