Assertion: union's member | /r/HasProperty | a bit-field
Facets:
value: to the unit
type: TRANSITIVE-OBJECT
Source sentences:
text: A pointer to a union object, suitably converted, points to each of its members (or if a member is a bit-field, then to the unit in which it resides), and vice versa.