Assertion: semaphore's value | /r/HasProperty | displayed by the showcount routine
Facets:
Source sentences:
text: This value is displayed by the showCount routine.