Assertion: semaphore | /r/HasProperty | required sum of processes
Facets:
Source sentences:
text: For example, if SEMMSL=25 and SEMMNI=10, total # of semaphores required (sum of PROCESSES) must not exceed 250 (10 semaphore sets * 25 semaphores/set).