Prefixes starting with <DEF>
<DEFE>
.
<DEFI>
.
<DEF> (other)
.