Assertion: variable's data | /r/HasProperty | an array of ten bytes
Facets:
Source sentences:
text: element pa is only one pointer (size 4 or 8 bytes), and the data it refers to is an array of ten bytes ( sizeof *pa == 10 ).