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

--- ai05s/ai05-0109-1.txt	2008/10/25 04:53:14	1.2
+++ ai05s/ai05-0109-1.txt	2008/12/02 06:01:19	1.3
@@ -1,5 +1,7 @@
-!standard 13.13.2(34/2)                                          08-08-08  AI05-0109-1/01
+!standard 13.13.2(34/2)                                          08-11-18  AI05-0109-1/02
 !class binding interpretation 08-08-08
+!status Amendment 201Z 08-11-26
+!status ARG Approved  8-0-1  08-11-01
 !status work item 08-08-08
 !status received 08-05-19
 !priority Low
@@ -8,7 +10,7 @@
 !subject Impossible check in S'Class'Input
 !summary
 
-It not possible for the internal tag in S'Class'Input to designate something other
+It is not possible for the internal tag in S'Class'Input to designate something other
 than a descendant of S.
 
 !question
@@ -46,6 +48,8 @@
    denoted by the Input attribute of the specific type identified by the internal
    tag; returns that result. If the specific type identified by the internal tag
    [is not covered by T'Class or ]is abstract, Constraint_Error is raised. 
+
+AARM Note: Descendant_Tag will ensure that the returned tag is covered by T'Class.
 
 !discussion