Assertion: semaphore's state | /r/HasAspect | following structure
Facets:
value: next
type: DEGREE
Source sentences:
text: Next, the state of the sliding window algorithm has the following structure.