The clauses ¬p∨q, ¬p∨¬q∨r, and ¬p∨¬q∨¬r∨s are examples of definite clauses. At least in classical logic these would be equivalent to the formulae p→q, (p∧q)→r, and (p∧q∧r)→s, respectively.

This offer and this profession, so made to the educationable classes of our Indian subjects, must no doubt be condemned by Christian men, on the ground of reasons which they will regard as absolute and irresistible.

When the world is moving towards globalisation and standardisation, India seems to be taking a step back. For something like clothing sizes for the Indian consumer market, singularisation makes way more sense than putting efforts into into introducing an entirely new size chart.

He searched high and low for the car keys, through every room in the house.