Prefixes starting with <Goal>
<Goali>
.
<Goalk>
.
<Goalt>
.
<Goal> (other)
.