Prefixes starting with <SPEC>
<SPECI>
.
<SPEC> (other)
.