with Ada.Text_IO; use Ada.Text_IO;
procedure quantified_expr is
package Boolean_IO is new Ada.Text_IO.Enumeration_IO(Boolean);
use Boolean_IO;
a: array ( 1 .. 10) of Integer := (others => 0);
b: Boolean;
begin
b := (for all i in a'range => a(i) = 0);
put_line(b'img);
put(for some i in a'range => a(i) /= 0);
new_line;
a(1) := 99;
b := (for all i in a'range => a(i) /= 0);
put_line(b'img);
put(for some i in a'range => a(i) = 0);
new_line;
-- Another syntax:
put(for some c of a => c = 0);
new_line;
end quantified_expr;
-- TRUE
-- FALSE
-- FALSE
-- TRUE
-- TRUE