If 'exists' had distinct senses per category, existential quantification in formal logic would be sy...