Aufgabe 5.4: Anwendung von Realize

1. delta = (Moebelwagen DuDu)
   1. Propagation: bisher keine passenden (r o p)
   2. Abstraktion: Moebelwagen
   3. Klassifikation: Moebelwagen

2. delta = (transportiert DuDU G64)
   1. Propagation

      Passende (c o)	Wertebereichsbeschr.	Propagagtion
      (Moebelwagen DuDu)	(all transportiert Moebel)	(Moebel G64) Da hiermit eine neue Objektbeschreibung entstanden ist, muss rekursiv propagiert werden. Allerdings existieren keine passenden (r o p).
      /td>	(all transportiert Gueter)	(Gueter G64)
      /td>	(all faehrt_auf Strasse)	-
      /td>	(all faehrt_auf Verkehrsweg)	-

   2. Abstraktion
      • Für (transportiert DuDu G64): (and Moebelwagen (atleast transportiert 1))
      • Für (Moebel G64): (Moebel G64)

   3. Klassifikation
      • Für (and Moebelwagen (atleast transportiert 1)): Moebelwagen
      • Für (Moebel G64): Moebel

3. delta = (transportiert DuDU G128)

   Analog zu G64, allerdings wird nun (atleast transportiert 2) in die Abstraktion aufgenommen.

An dieser Stelle können wir bereits das Ergebnis der hybriden Referenz ablesen: Der Realizer hat herausgefunden, dass G64 und G128 Moebel sein müssen, da sie auf einem Möbelwagen transportiert werden.