syllogisation

not defined yet