Выдержка из книги
Андрейчиков А.В.
Интеллектуальные информационные системы
На основании нового множества Р можно выдвинуть другую гипотезу Щ ( МХ) [ ЧЕЛОВЕК ( Х) - ДОМ ( Х) ], которая накладывает ограничение на область подстановки объектов в переменную X, так как в данном случае этот объект должен быть человеком. Теперь при появлении объекта березкин можно вывести факт ДОМ ( березкин), но при появлении объекта береза значением предиката ЧЕЛОВЕЩбереза. ДОМ ( береза) не будет выведен.