Формы управления коротким замыканием в Ada

Что означает

x AND THEN y AND z

, это

x AND THEN (y AND z)

(y, z никогда не вычисляется если x ЛОЖЬ) или

(x AND THEN y) AND z

(если x - ЛОЖЬ, y пропускается, но возможно, что вычисляется z) в ada?