 A somewhat parallel development has been the formal study of various syllogistic fragments; we noted in  section 2  that many syllogisms express monotonicity properties. These fragments, most of which were studied by Ian Pratt-Hartmann and above all Larry Moss, range from those containing only simple sentences like allXY or someXY to ones allowing complements, relative clauses, transitive verbs, non-first-order quantifiers like most, and other features. Here is an example (Moss p.c.) of an inference in such a fragment: