[tei03]
A <div> must have either @type + @n or @include but not both.
<div>
@type
@n
@include
Affects: <div>
Used by template ŧ core-expansion-terse dependency-expansion-terse-no-alter ŧ dependency-expansion-terse
ŧ core-expansion-terse
ŧ dependency-expansion-terse