Type Issue
In state Needs investigation
Issue with TMRM
Background >>

It is not clear what statements are implied when statement types are subtyped. The problem seems to mainly apply to associations, because of the role types, but a decision needs to be made here.

A particular concern here is that the TMQL queries in TMCL must not report the wrong cardinalities simply because of inferencing, just as they must not report missing statements simply because of subtyping.

tmphoto app built with OKS.