Assertion: queue's number | /r/CapableOf | leave state
Facets:
Source sentences:
text: |E n − L n | ∈ {0, 1}, that is, the number of times the system leaves a state