Assertion: model | /r/HasProperty | run
Facets:
Source sentences:
text: next Model : notifyObservers(counter) is run.