 This suffices to explain all of the above sentences except (3), as each are true in a possible world if and only if the ascribed attribute is a property of the kind inputted into the predicate.For example, (4) is true if and only if the kind "cats" possess the attribute "common" in the domain of discourse.The perceived difference in what level of generic quantification applies is then a pragmatic property of the predicate, determined by what is perceived to be necessary for the statement to hold true.