An introduction to the syllogism and the logic of proportional quantifiers - Thompson, Bruce E. R. 1952- (Lang, 1992)