*Record has structural element type if and only if
that record is some paragraph
where structural element type = paragraph
or that record is some paragraph1 that has that structural element type.
PermanentFact = False
HiddenFact = False
InternalUniquenessConstraint42
InternalUniquenessConstraint
It is possible that some record has more than one structural element type
and that for some structural element type, more than one record has that structural element type.
In each population of record has structural element type, each record, structural element type combination occurs at most once.