Makroproposition

==> Textverstehen, menschliches
<=> Textgrammatik
<== Kohärenz
==> Kohäsion
==> Proposition
==> Implikation
==> Semantik, linguistische

==> Modallogik
==> Prädikatenlogik