unicode_fol_kit.minimal_entails

unicode_fol_kit.minimal_entails(premises, conclusion, circumscribed=None, max_size=4, max_candidates=1048576)

Return whether premises circumscriptively entail conclusion (bounded).

True iff the (universally closed) conclusion holds in every minimal model of premises found up to max_size (see minimal_models()). Non-monotonic: strengthening premises can turn a True into a False.

Parameters:

• conclusion (Node)

• circumscribed (set | None)

• max_size (int)

• max_candidates (int)

Return type:

bool