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