Model-theoretic semantics requires fixed sort ontologies; without resolving what counts as a domain ...
This proposition has not been edited since the history system was added.