This axiom encodes the "body" of the STRIPS operators of Fikes and Nilsson (1971).
to achieve a goal, an agent must satisfy all the prerequisites, removing all the barriers to the goal, and then choose something that will cause the goal to come about.