Die Attribute links von binären Operatoren müssen entweder Attribute, Knoten oder Variablen und die Attribute rechts davon ...