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.