semantron

not defined yet