Prefixes starting with <pin>
<pin >
.
<pina>
.
<pinb>
.
<pinc>
.
<pine>
.
<ping>
.
<pinh>
.
<pini>
.
<pink>
.
<pinn>
.
<pino>
.
<pins>
.
<pint>
.
<pin> (other)
.