title: Ada short-circuit control forms
body: <p>Whats the meaning of</p>
  
  <pre><code>x AND THEN y AND z
  </code></pre>
  
  <p>is it</p>
  
  <pre><code>x AND THEN (y AND z)
  </code></pre>
  
  <p>(y, z gets never evaluated if x is FALSE)
  or</p>
  
  <pre><code>(x AND THEN y) AND z
  </code></pre>
  
  <p>(if x is FALSE, y is skipped, but its possible that z is evaluated)
  in ada?</p>