Assertion: semaphore | /r/HasProperty | emptycount
Facets:
Source sentences:
text: Empty places and items represent two kinds of resources, empty boxes and full boxes, and the semaphores emptyCount and fullCount maintain control over these resources.