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