Die Bestimmung über die Werte der Variablen im allgemeinen Satz müssen nur so sein, daß man für jeden Ausdruck erkennt, ob er ein zugelassener Wert ist oder nicht.