Prefixes starting with <HAV>
<HAVE>
.
<HAV> (other)
.