Regeln zur Datenvalidierung sinnvoll formulieren

[ULIK]

Stimmt, nur '<' impliziert ja immer auch ein 'Wert ist zahl'. Sprich eigentlich ist die Regel 'b < 20' auch nicht 'atomar' sondern müßte 'wenn b Zahl ist, dann Prüfe b < 20' lauten.
Ich denke, daß es darauf hinausläuft zuerst einen Satz an 'atomaren' Regeln zu prüfen und dann erst die davon abgeleiteten. Damit bist Du dann unabhängiger von der Reihenfolge.