Assertion: model's state | /r/HasProperty | counter
Facets:
Source sentences:
text: The model has state (a counter).