Prefixes starting with <MICH>
<MICHA>
.
<MICHE>
.
<MICH> (other)
.