Assertion: robot's input | /r/HasProperty | based on function
Facets:
Source sentences:
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.