[sc34wg3] abstract-constraint isa topic-type?

[Lars Marius Garshol]

* Robert Cerny
> 
> To a certain degree :) The conclusion is true. Right?

Yes. It's always that case that if

  a isa b
  c ako a

then

  c isa b

This is stated here:
  http://www.isotopicmaps.org/sam/sam-model/#sect-subtypes

Could the problem be that "abstract-constraint" sounds like it should be the parent type of "constraint"? It really is "topic-must-be-abstract-constraint".

--Lars M.
http://www.garshol.priv.no/tmphoto/
http://www.garshol.priv.no/blog/