Assertion: elevator's system | /r/AtLocation | new state
Facets:
value: after each action
type: TEMPORAL
Source sentences:
text: After each action, the system moves to a new state, and the decision process is repeated.