Prefixes starting with <dist>
<dista>
.
<disti>
.
<distr>
.
<dist> (other)
.