CVS difference for ai05s/ai05-0153-3.txt

--- ai05s/ai05-0153-3.txt	2011/02/11 05:36:45	1.9
+++ ai05s/ai05-0153-3.txt	2011/02/12 05:57:00	1.10
@@ -228,11 +228,11 @@
 NOTE: A predicate clause does not cause a subtype to be considered
 "constrained".
 
-NOTE: Similarly to constraints, a Static_Predicate always remains True for all
-objects of the subtype, except in the case of uninitialized variables and other
-invalid values. A Dynamic_Predicate, on the other hand, is checked as specified
-above, but can become False at other times. For example, the predicate of a
-record is not checked when a subcomponent is modified.
+NOTE: A Static_Predicate, like a constraint, always remains True for all
+objects of the subtype, except in the case of uninitialized variables and
+other invalid values. A Dynamic_Predicate, on the other hand, is checked as
+specified above, but can become False at other times. For example, the
+predicate of a record is not checked when a subcomponent is modified.
 
 [End of 3.2.4.]
 
@@ -1927,6 +1927,41 @@
 I think I like the last best - it puts the most important thing first, but still
 leaves the constraint part up front. A few more commas than I like, though. Any
 thoughts??
+
+****************************************************************
+
+From: Tucker Taft
+Sent: Friday, February 11, 2011  9:19 AM
+
+Your third one seems fine to me.
+
+****************************************************************
+
+From: Bob Duff
+Sent: Friday, February 11, 2011  1:47 PM
+
+> ...
+> > OK, "is always True" -->  "always remains True", and  "type"
+> > -->  "subtype", resulting in:
+>
+> I've inserted this into the "master" AI.
+
+Thanks.
+
+[3 suggestions]
+
+Any of those 3 are fine with me.
+
+> [or replace "like a constraint" with "similar to a constraint" to be a
+> bit more formal.]
+
+Nah, I prefer the 3 as written.
+
+> I think I like the last best - it puts the most important thing first,
+> but still leaves the constraint part up front. A few more commas than
+> I like, though. Any thoughts??
+
+I agree -- I prefer the 3rd one.
 
 ****************************************************************