How to Fit Generalized Quantifiers into Terminological Logics