Assertion: robot | /r/HasProperty | all the successor symbols
Facets:
Source sentences:
text: In this case after reading each symbol, the automaton all the successor symbols in the input tree.