Considering the discussion https://fmidue.slack.com/archives/D02KJ9NKYHG/p1783782625649379, should we add a new enumeration FlipNonInheritance in RelationshipMutation and parse a corresponding predicate in Alloy to prevent the generator from flipping Inheritance. In this way, we can spare more instances and avoid getting the obviously incoherent instances with concepts.
Considering the discussion https://fmidue.slack.com/archives/D02KJ9NKYHG/p1783782625649379, should we add a new enumeration
FlipNonInheritancein RelationshipMutation and parse a corresponding predicate in Alloy to prevent the generator from flipping Inheritance. In this way, we can spare more instances and avoid getting the obviously incoherent instances with concepts.