Assertion: bit | /r/HasAspect | three groups
Facets:
value: at the beginning
type: TEMPORAL
value: after each subtraction
type: TEMPORAL
Source sentences:
text: Observe that after each subtraction, the bits are divided into three groups: at the beginning, a group which is all zero; at the end, a group which is unchanged from the original; and a blue shaded group in the middle which is "interesting".