syllogiser

not defined yet