polysyllogistic
not defined yet