Общее структурное описание

Замечания о типе правила

Допустимые типы проверок параметров и значений

Проверка параметров операции

Использование фиктивных операторов