Assertion: robot | /r/AtLocation | one of its states
Facets:
value: at each moment
type: TEMPORAL
Source sentences:
text: At each moment during a run of the automaton, the automaton is in one of its states.