obj IntList = integer*;
var l1,l2,l3,l4,l5,l6,l7:IntList;

> set l1 = [1, 2, 3, 4, 5];
> set l2 = [1, 2, -3, 4, 5];
> set l3 = [-1, 2, 3, 4, 5];
> set l5 = [1, 2, 3, 4, -5];
> set l6 = [1, 2, 3, 4, 0];
> set l7 = [];

> "Bounded Quantifier Tests:";
> forall (e in l1) e > 0;	-- true
> forall (e in l2) e > 0;	-- false
> forall (e in l3) e > 0;	-- false
> forall (e in l4) e > 0;	-- true
> forall (e in l5) e > 0;	-- false
> forall (e in l6) e > 0;	-- false
> forall (e in l7) e > 0;	-- true

> "Unbounded Quantifier Test:";
> forall (li:IntList) forall (e in li) e > 0;   -- true, because IntList
						-- universe is empty

(* Populate the IntList universe with a couple items *)
> (let l1:IntList = [1, 2, 3]; let l2:IntList = [4, 5, -6];);
> forall (li:IntList) forall (e in li) e > 0;   -- false, because IntList
						-- now has [4,5,-6]