a proposition in logic [n PREMISSES]
48,555 of 196,601 in NWL2023·also valid in CSW24
to state or assume [v -ED, -ING, -ES]
188,634 of 280,887 in CSW24·also valid in NWL2023