Circumscription

==> Prädikatenlogik

<=> Alltagsschließen

<== Schliessen mit Standardannahmen

==> Formel