A syllogistic system for propositions with intermediate quantifiers. - Pasquale Iero; Allan Third; Paul Piwek (CoRR, 2018)