Back to forall x: Calgary

Semantic concepts

Symbolizing and evaluating quantified sentences about family relations and ages against a fixed interpretation with a domain of people.

forall x: Calgary, Semantic concepts

Adapted from forall x: Calgary © 2025 P. D. Magnus, Tim Button, Robert Trueman, and Richard Zach. Licensed under CC BY 4.0. Source: forall x: Calgary. Imported at revision ec34df8.