Assertion: semaphore's value | /r/HasProperty | initialized to the number of resources
Facets:
value: in counting semaphore
type: LOCATION
Source sentences:
text: In Counting Semaphore, the value of semaphore S is initialized to the number of resources present in the system.