Quantifier analysis unifies tense with other domains (modality, plurality) under standard first-orde...
This proposition has not been edited since the history system was added.