In AI literature on action modeling, action schemas are defined with preconditions and effects.
representing verb semantics for action verbs using resulting states can be connected to the agent's underlying planning modules.