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

Differences between 1.6 and version 1.7
Log of other versions for file ai12s/ai12-0068-1.txt

--- ai12s/ai12-0068-1.txt	2014/07/30 23:35:55	1.6
+++ ai12s/ai12-0068-1.txt	2014/09/30 02:53:25	1.7
@@ -41,8 +41,8 @@
      Zoofalize (Z); -- Fails predicate check (??)
 
 Is it expected that the value of 'Constrained reflects that of the actual
-object, or is this check on a value and the properties of the object aren't
-querable? (Something. :-)
+object, or is this check on a value and thus the properties of the object
+can be queried? (Can't be queried.)
 
 In a related question, is the nominal subtype of the current instance of
 a type or subtype defined? This matters in case expressions. Given this example,

Questions? Ask the ACAA Technical Agent