Assertion: machine's state | /r/HasProperty | the start
Facets:
value: by convention
type: OTHER
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.