Assertion: robot | /r/CapableOf | jump to state
Facets:
Source sentences:
text: When the automaton reads symbol a i it jumps to state