Ich meinte mit "Sinn ergeben": in jedem Kontext korrekt und anwendbar und die intendierte Bedeutung habend, oder bedeutungslos; der regeldefinierende Kontext wird nicht benötigt. (Im konkreten Beispiel kann aufgrund der Benutzung innerhalb der Regel über die freien Bestandteile bereits inferiert werden, dass ein Prädikat über ist, und dass sein muss; beide sind aber unter diesen Einschränkungen völlig beliebig) Das funktioniert aber eben nur ohne komplizierte weitere Regelungen, wenn man die Variable im Schritt bindet, wie oben schon dargelegt. -- Daniel5Ko 21:02, 2. Okt. 2011 (CEST)