Assertion: semaphore's list | /r/CapableOf | use a queue data structure
Facets:
Source sentences:
text: The waiting list is usually implemented using a queue data structure.