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

--- ai05s/ai05-0297-1.txt	2012/03/20 06:17:05	1.3
+++ ai05s/ai05-0297-1.txt	2012/04/03 22:21:06	1.4
@@ -1,4 +1,4 @@
-!standard  3.5.5(7)                               12-03-13    AI05-0297-1/02
+!standard  3.5.5(7)                               12-03-27    AI05-0297-1/03
 !class Amendment 12-02-26
 !status Amendment 2012 12-02-26
 !status ARG Approved 8-1-1  12-02-26
@@ -41,15 +41,16 @@
 
        S'First_Valid
            S'First_Valid denotes the smallest value that belongs to S and
-           satisfies any predicate of S.
+           satisfies the predicate of S.
            The value of this attribute is of the type of S.
        S'Last_Valid
            S'Last_Valid denotes the largest value that belongs to S and
-           satisfies any predicate of S.
+           satisfies the predicate of S.
            The value of this attribute is of the type of S.
 
     [Redundant: First_Valid and Last_Valid attribute_references are always static
-    expressions. Any predicate of S is always a static predicate.]
+    expressions. Any explicit predicate of S can only have been specified by a
+    Static_Predicate aspect.]
 
     AARM Reason:
     We require there to be at least one value so that these are always values of
@@ -107,13 +108,14 @@
 
 @xhang<@xterm<S'First_Valid>
 S'First_Valid denotes the smallest value that belongs to S and
-satisfies any predicate of S. The value of this attribute is of the type of S.>
+satisfies the predicate of S. The value of this attribute is of the type of S.>
 @xhang<@xterm<S'Last_Valid>
 S'Last_Valid denotes the largest value that belongs to S and
-satisfies any predicate of S. The value of this attribute is of the type of S.>
+satisfies the predicate of S. The value of this attribute is of the type of S.>
 
 First_Valid and Last_Valid @fa<attribute_reference>s are always static
-expressions. Any predicate of S is always a static predicate.
+expressions. Any explicit predicate of S can only have been specified by a
+Static_Predicate aspect.
 
 !ACATS Test