CVS difference for 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