Assertion: robot | /r/AtLocation | state
Facets:
value: at any moment
type: TEMPORAL
value: from state p
type: LOCATION
Source sentences:
text: The third and fourth instructions say that, at any moment the automaton may move from state p to state q.
text: When the automaton receives new input it moves to another state (or transitions) based on a function that takes the current state and symbol as parameters.