Semantics

If R is a sequence of rules then Updates(R,S) = Updates(,S) Updates(,S) . In other words, to fire a sequence of rules, fire all of them simultaneously. Notice that Updates(R,S) is inconsistent if any is so.