expression

The formal logic expression of the rule.