Assertion: queue | /r/CapableOf | write p k t
Facets:
value: at time
type: TEMPORAL
value: for the probability
type: PURPOSE
Source sentences:
text: We assume that the queue is initially in state i and write p k (t) for the probability of being in state k at time