Развлекаемся на работе эээ... логикой предикатов.
Если перед вами лежит 4 объекта - скажем, яблоко, апельсин, банан, персик -, на основании каких критериев их можно отличить между собой?
(В реальности это мы про характеристики из системы учета).
Шаг 1 очевидный, форма: некруглый - банан. А вот дальше...