 Categorical propositions are subject (mawḍūʿ)-predicate (maḥmūl) propositions expressing a relation (nisba) or judgment (ḥukm) between terms. They are usually classified according to a number of distinctions and readings.