Anfang weiterKompatibilitäts-Feststellung
Kompatibilitäts-Feststellung zur Super-Menge allgemeineren Expression (ZENTRALE) ⇒ (ZENTRALE or NIEDERLASSUNG) | +-erfüllt für Logiker: einfache Implikation (ein Term ist kompatibel, wenn er immer erfüllt ist, wenn der bezogene(this) Term erfüllt ist) thisTerm ⇒ kompatiblerTerm Operator doppelter Pfeil nach rechts (fat arrow)