Handtuned MagicDraw UML 19.0 v9 -- client of SupportedBy must be GSNArgumentNode GSNArgumentNode.allInstances().base_Element->includesAll(self.base_Dependency.client) OCL2.0 -- if client is Strategy then supplier must be Goal Strategy.allInstances().base_Class->includesAll(self.base_Dependency.client) implies Goal.allInstances().base_Class->includesAll(self.base_Dependency.supplier) OCL2.0 -- supplier of SupportedBy can be GSNNode or non-GSN concept, but it can not be ContextualInformation GSNNode.allInstances().base_Element->includesAll(self.base_Dependency.supplier) or not ContextualInformation.allInstances().base_Element->includesAll(self.base_Dependency.supplier) OCL2.0 -- client can not be Undeveloped Strategy nor Goal -- if strategy or goal is client of SupportedBy - it is developed not Undeveloped.allInstances().base_Element->includesAll(self.base_Dependency.client) OCL2.0 -- client of InContextOf must be GSNArgumentNode GSNArgumentNode.allInstances().base_Element->includesAll(self.base_Dependency.client) OCL2.0 -- supplier of InContextOf can be ContextualInformation or non-GSN concept, but it can not be GSNNode ContextualInformation.allInstances().base_Element->includesAll(self.base_Dependency.supplier) or not GSNNode.allInstances().base_Element->includesAll(self.base_Dependency.supplier) OCL2.0