[n SUBSUMPTIONS]
161,338 of 196,601 in NWL2023·also valid in CSW24
the minor premise of a syllogism [n -S]
238,591 of 280,887 in CSW24·also valid in NWL2023