extern class ExC
end
+subset SSet
+end
+
##
interface SubI
#alt2# super CC
#alt3# super EnC
#alt4# super ExC
+ #alt16# super SSet
end
abstract class SubA
super CC
#alt5# super EnC
#alt6# super ExC
+ #alt17# super SSet
end
class SubC
super CC
#alt7# super EnC
#alt8# super ExC
+ #alt18# super SSet
end
enum SubEn
#alt10# super CC
#alt11# super EnC
#alt12# super ExC
+ #alt19# super SSet
end
extern class SubEx
#alt14# super CC
#alt15# super EnC
super ExC
+ #alt20# super SSet
+end
+
+# A subset can inherit anything except a subset, and has only one direct parent.
+
+subset SSetI
+ super IC
+ # TODO: super AC
+ # TODO: super CC
+ # TODO: super EnC
+ # TODO: super ExC
+ # TODO: super SSet
+end
+
+subset SSetA
+ super AC
+end
+
+subset SSetC
+ super CC
+end
+
+subset SSetEn
+ super EnC
+end
+
+subset SSetEx
+ super ExC
end
+
+#alt26# subset SubSSet
+#alt26# super SSet
+#alt26# end