Assertion: semaphore's state | /r/AtLocation | this section
Facets:
value: earlier
type: TEMPORAL
Source sentences:
text: For the sending side of the protocol, this state includes variables LAR and LFS, as described earlier in this section, as well as a queue that holds frames that have been transmitted but not yet acknowledged (sendQ ).