Skopus

==> Operator
==> Lambda-Kalkül
==> Negation
==> Allquantor
==> Existenzquantor
==> Quantifikation
==> Quantor

<== Disambiguierung
<=> Ambiguität
<== Akzent
<== Frage-Antwort-System
<== Anhebung
<== Tiefenstruktur
==> Form, logische
==> NP, Nominalphrase
==> Oberflächenstruktur
==> Proposition