Assertion: huge pointer | /r/HasProperty | normalized
Facets:
value: every time they are modified
type: TEMPORAL
Source sentences:
text: Huge pointers are Normalized.
text: Huge pointers are essentially far pointers, but are normalized every time they are modified so that they have the highest possible segment for that address.