[sc34wg3] abstract-constraint isa topic-type?

[Robert Cerny]

Maybe i have a knot in my head, but i am having a hard time with the  
following argument:

Assumptions:
1. tmcl:constraint isa tmcl:topic-type.
2. tmcl:abstract-constraint ako tmcl:constraint.

Conclusion:
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 :-)

Best regards,

Robert Cerny

Software Development
http://www.cerny-online.com