Quantified Expressions: "some"

[Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>]

AI05-0176 explains two new expressions,

  (for all X in domain | P (X))

and

  (for some X in domain | P (X))

Thus, "all" gets a new meaning and "some" is all new,
with a special, context dependent role of the word "some",
IIUC.

Will it still be English when this, in order to re-use a word
already reserved by Ada, uses the word "when" in place of the
new "some"?

  (for when X in domain | P (X))

"When" is not the same as the mathematically correct (MC?)
wording. Perhaps unusual. But if programming in Ada is not the
same as writing mathematics, maybe "when" just emphasizes the
presence of a computing apparatus as an added benefit?