Assertion: semaphore | /r/HasProperty | binary and counting semaphores
Facets:
value: namely
type: OTHER
Source sentences:
text: There are two main types of semaphores, namely binary and counting semaphores.