Prefixes starting with <infra>
<infrar>
.
<infra> (other)
.