HOKUSKOPUS - Verwendung terminologischen Wissens bei der Analyse von Quantorenskopus und Distributivität.