Рассмотрим известный афоризм Козьмы Пруткова :
Нет столь великой вещи, которую не превзошла бы величиной еще большая. Нет вещи столь малой, в которую не поместилась бы еще меньшая.
Обозначим вещи переменными x,y,z и предикат P(x,y), истинный при x > y. Как записать предикатную формулу для исходного афоризма?