Prefixes starting with <Dist>
<Dista>
.
<Disti>
.
<Disto>
.
<Distr>
.
<Dist> (other)
.