5.1.2. Классификация предикатов
Часто бывает полезно классифицировать предикаты по характеристикам их носителей.
Локальные предикаты: 
интерпретируется как множество точек на плоскости. Предикат 
называется локальным, если число точек в 
мало 2).
Конъюнктивно локальные предикаты: предикаты: называется конъюнктивно локальным, если существует такое
локальных предикатов, 
можно представить в виде их конъюнкции.
если 
содержит 
переменных.