Assertion: machine's state | /r/HasProperty | their position
Facets:
Source sentences:
text: The distinguished states and symbols can be identified by their position, e.g. the first two states can by convention be the start and stop states.