For each action, the following are included: preconditions (what must be established before the action is performed); postconditions (what is established after the action is performed).
Für jede Aktion muss Folgendes gegeben sein: Vorbedingungen (was muss gegeben sein, bevor die Aktion ausgeführt werden kann); Nachbedingungen (was ist erreicht, nachdem die Aktion ausgeführt wurde).