The new formal logical expression for the rule, replacing the previous expression.
The unique identifier of the rule to update.