... written as sequences of preconditions, actions, and results. A...
... changing one or more preconditions and actions (keywords in...
... specified in terms of preconditions, actions, and results. A...
... an environment condition or precondition—some property of the system...