Prefixes starting with <tripl>
<triple>
.
<tripl> (other)
.