text: Unter der Voraussetzung, dass die Wertebereiche paarweise disjunkt sind, sind die Sorten der belegten Variablen durch ihren Wert eindeutig bestimmt, so dass in diesem Fall die zusätzliche Angabe der Variablendeklaration nicht nötig ist.