nltk.Model.satisfiers¶
-
Model.
satisfiers
(parsed, varex, g, trace=None, nesting=0)[source]¶ Generate the entities from the model’s domain that satisfy an open formula.
Parameters: - parsed (Expression) – an open formula
- varex (VariableExpression or str) – the relevant free individual variable in
parsed
. - g (Assignment) – a variable assignment
Returns: a set of the entities that satisfy
parsed
.