Assertion: machine's input | /r/HasProperty | represented by circular arrow
Facets:
Source sentences:
text: An input that doesn't cause a change of state (such as a coin input in the Unlocked state) is represented by a circular arrow returning to the original state.