[sc34wg3] abstract-constraint isa topic-type?
robert at cerny-online.com
Fri Jan 29 03:31:36 EST 2010
Maybe i have a knot in my head, but i am having a hard time with the
1. tmcl:constraint isa tmcl:topic-type.
2. tmcl:abstract-constraint ako tmcl:constraint.
tmcl:abstract-constraint isa tmcl:topic-type.
I could give a long explanation which reasoning paths i tried (using
TMDM and TMCL), but i want to keep that for later in case no one
comes up with a sword sharp enough to cut through the knot :-)
More information about the sc34wg3