Prefixes starting with <trip>
<tripl>
.
<tripp>
.
<trip> (other)
.