Logical Inferences with Comparatives and Generalized Quantifiers