Prefixes starting with <diamond >
<diamond p>
.
<diamond > (other)
.