CVS difference for ai12s/ai12-0158-1.txt

--- ai12s/ai12-0158-1.txt	2015/03/27 00:05:52	1.2
+++ ai12s/ai12-0158-1.txt	2015/03/31 23:57:56	1.3
@@ -99,15 +99,15 @@
 @drepl
 For the evaluation of a @fa<quantified_expression>, the @fa<loop_parameter_specification>
 or @fa<iterator_specification> is first elaborated. The evaluation of a
-@fa<quantified_expression> then evaluates the predicate for the values of the loop
-parameter in the order specified by the @fa<loop_parameter_specification>
-(see 5.5) or @fa<iterator_specification> (see 5.5.2).
+@fa<quantified_expression> then evaluates the @fa<predicate> for each value of the
+loop parameter. These values are examined in the order specified by the
+@fa<loop_parameter_specification> (see 5.5) or @fa<iterator_specification> (see 5.5.2).
 @dby
 For the evaluation of a @fa<quantified_expression>, the @fa<loop_parameter_specification>
 or @fa<iterator_specification> is first elaborated. The evaluation of a
-@fa<quantified_expression> then evaluates the predicate for each value of the
-loop parameter. These values are examined in the order specified by the
-@fa<loop_parameter_specification> (see 5.5) or @fa<iterator_specification> (see 5.5.2).
+@fa<quantified_expression> then evaluates the @fa<predicate> for the values of the loop
+parameter in the order specified by the @fa<loop_parameter_specification>
+(see 5.5) or @fa<iterator_specification> (see 5.5.2).
 
 !corrigendum 4.5.8(8/3)