Assertion: robot | /r/HasAspect | one sink state
Facets:
Source sentences:
text: The automaton has one sink state, which represents the whole string S.