nltk.sem.Model.satisfy¶
-
Model.
satisfy
(parsed, g, trace=None)[source]¶ Recursive interpretation function for a formula of first-order logic.
Raises an
Undefined
error whenparsed
is an atomic string but is not a symbol or an individual variable.Returns: Returns a truth value or
Undefined
ifparsed
is complex, and calls the interpretation functioni
ifparsed
is atomic.Parameters: - parsed – An expression of
logic
. - g (Assignment) – an assignment to individual variables.
- parsed – An expression of