SUPERALTERN, [n]
175,615 of 196,601 in NWL2023·also valid in CSW24
SUPERALTERN, a kind of universal proposition in logic [n]
240,035 of 280,887 in CSW24·also valid in NWL2023