Prefixes starting with <Reduc>
<Reduce>
.
<Reduc> (other)
.