Assertion: robot | /r/AtLocation | state s
Facets:
value: currently
type: TEMPORAL
Source sentences:
text: For example, if the automaton is currently in state S 0 and the current input symbol is 1, then it deterministically jumps to state S 1 .