Assertion: semaphore's value | /r/HasProperty | double the counter
Facets:
Source sentences:
text: Since, the counter is incremented in steps of 1 by both parent and child, the final value should be double the counter.