Sortal Predicates and Quantification