semantical rule

Мат. семантическое правило