Bindung

==> Koreferenz
==> Pronomen
==> Antezedens
==> Anapher
==> Spur, Spurentheorie
==> Rektions- und Bindungstheorie
==> Unifikationsgrammatik
==> Phrasenstrukturgrammatik, kopfgesteuerte

==> Variable

==> Prädikatenlogik
==> Quantor