The formal logical expression that defines the rule, using mathematical notation and referencing policy variables and types.