What I call higher universality in a statement corresponds roughly to what classical logic might call the greater 'extension of the subject'; and what I call greater precision corresponds to the smaller extension, or the 'restriction of the predicate'.