Specifies the changes caused by discontinuous changes. Takes five arguments, MF-inst, condition, vars, model-var, assertion. MF-inst: Model instance. Condition: A quoted expression. The condition to be evaluated before the changes are executed. Mainly for the purpose of bindingvariables to be used in assertion. vars: The list of free variables appearing in Condition. model-var: The free variable to be used in assertion to designate the created instance. Assertion: A quoted expression. The assertions to be made in the new state after the change.
(Nth-Domain Action-Rule 1 Discontinuous-Behavior-Model)