Prefixes starting with <MINI>
<MINIS>
.
<MINI> (other)
.