Semitaur definitions