Assertion: register's address | /r/HasProperty | unsigned binary numbers
Facets:
value: always
type: TEMPORAL
Source sentences:
text: Addresses are always unsigned binary numbers.