Assertion: semaphore's value | /r/HasProperty | implemented in file
Facets:
Source sentences:
text: Check if the counter value is implemented in file