Assertion: semaphore's value | /r/HasProperty | incremented in steps of 1
Facets:
value: by child
type: OTHER
value: by both parent
type: OTHER
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.