--- ai05s/ai05-0273-1.txt 2011/12/23 05:22:38 1.3 +++ ai05s/ai05-0273-1.txt 2012/01/05 06:19:33 1.4 @@ -53,7 +53,7 @@ Add before 6.1.1(21/3): -A subexpression is *potentially unevaluated* if occurs within: +An expression is *potentially unevaluated* if occurs within: * any part of a if_expression other than the first condition; * a dependent_expression of a case_expression;