Assertion: robot's input | /r/HasProperty | rejected
Facets:
Source sentences:
text: Otherwise, i.e. if no choice sequence at all can consume all the input  and lead to an accepting state, the input is rejected.  : 19  : 319
text: and lead to an accepting state, the input is rejected.