unicode_fol_kit.team_models¶
- unicode_fol_kit.team_models(structure, formula)[source]¶
Return whether the structure makes the SENTENCE true:
{∅} ⊨ formula.Sentence evaluation in team semantics starts from the singleton team containing just the empty assignment (NOT the empty team, which satisfies everything). Quantifiers then grow the team: each
∀duplicates it over the domain and each∃supplements it with witnesses.