Assertion: queue's element | /r/HasProperty | inserted by producer
Facets:
Source sentences:
text: This is a classic "bounded buffer", in which a fixed-sized array holds elements inserted by producers and extracted by consumers.