Syllogistic Reasoning in Seven Spaces. - Frieder Stolzenburg; Raimund Lüderitz (DKB/KIK@KI, 2017)