Анализ и примеры интерпретации предикатных формул