algebraischer Datentyp (= Kompositum) für die Beschreibung von Eigenschaften
interface Property { }
Blätter (Konstanten)
class Has_Color { Color c }
class Has_Max_Wheels { int x }
Verzweigungen (Kombinatoren)
...
und Methode zur Auswertung einer (zusammengesetzten) Eigenschaft für gegebenes Datum. (Typ?)
Interpreter-Muster : = Kompositum als Strategie-Objekt