Prefixes starting with <Thoma>
<Thomas>
.
<Thoma> (other)
.