Prefixes starting with <HAVE>

<HAVE > . <HAVER> . <HAVE> (other) .