CVS difference for ai05s/ai05-0176-1.txt

Differences between 1.16 and version 1.17
Log of other versions for file ai05s/ai05-0176-1.txt

--- ai05s/ai05-0176-1.txt	2010/10/16 06:14:07	1.16
+++ ai05s/ai05-0176-1.txt	2010/10/26 05:39:47	1.17
@@ -148,6 +148,7 @@
   propagated.
 
 AARM ramification: The expression is False if the domain contains no values.
+*Some* is sometimes called "exists" in mathematical logic.
 
 [Editor's note: This wording needs some description of how it works for an
 iterator_specification -- but we can't do that until AI05-0139-2 gets closer
@@ -2664,6 +2665,42 @@
 
 ****************************************************************
 
+From: Christoph Grein
+Sent: Monday, June 14, 2010  4:25 AM
+
+4.5.7(4.a/3)... This is the same rule that is used for conditional_expressions;
+see 4.5.7 for a detailed discussion of the meaning and effects {of} this Rule.
+
+Since this *is* 4.5.7, it seems strange to refer to this chapter in the sentence above.
+
+I would propose that to (9/3) a remark is added that "Some" is what in mathematical
+logic is called "exists" and is the opposite of "all".
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Friday, June 25, 2010  4:01 PM
+
+> 4.5.7(4.a/3)... This is the same rule that is used for 
+> conditional_expressions; see 4.5.7 for a detailed discussion of the 
+> meaning and effects {of} this Rule.
+> 
+> Since this *is* 4.5.7, it seems strange to refer to this chapter in 
+> the sentence above.
+
+Actually, this cause is supposed to be numbered 4.5.9, and the above sentence refers
+to the *real* 4.5.7. But we hadn't approved AI-147 yet, so it isn't included in the
+draft. For that reason, I couldn't use the appropriate cross-reference, either, so I
+just left the reference and hopefully I'll remember to fix it in the future.
+
+> I would propose that to (9/3) a remark is added that "Some" 
+> is what in mathematical logic is called "exists" and is the opposite 
+> of "all".
+
+Probably a good idea.
+
+****************************************************************
+
 From: Bob Duff
 Sent: Thursday, July 8, 2010  2:31 PM
 
@@ -3368,3 +3405,4 @@
 But the SPARK argument does seems to be compelling.
 
 ****************************************************************
+

Questions? Ask the ACAA Technical Agent