Assertion: output's value | /r/HasProperty | type integer
Facets:
Source sentences:
text: The value V stored in the register is of type integer (V ∈ Z).