The non-generic sentence (1b) roughly speaking provides ABox content for a machine-readable knowledge base, i.e., knowledge about particular instances, e.g, "A is an instance of B / has property X".
the major contributions of this work include the study of genericity both on the NP-and clauselevel, and the study of the interaction of these two levels.