Assertion: output's value | /r/AtLocation | the register
Facets:
value: currently
type: TEMPORAL
Source sentences:
text: The value V stored in the register is of type integer (V ∈ Z).
text: Input actions consist of write i (V), which represents process P i requesting to write a value V to the register (where i ∈ {1,2} and V ∈ Z), and read i , which corresponds to a process P i requesting to read the value currently stored in the register.