{
* File: W26.sml.txt
* Author: Michael Schrefl, Bernd Neumayr, Manfred Jeusfeld
* Created: 1-Nov-2013/M.Jeusfeld (4-Nov-2013)
* ------------------------------------------------------
* abstract example on how to merge subject and value deep instantiation
* merges E26a and E26b; missing A(1,1) link leads to integrity violation;
* see also the corrected example E26
}

A in ALABEL end


{* linkDRs crossing levels symmetrically *}
x1 in OBJECT with {* a class for subjects *}
  linkDR m1: y2
end

{* a subject-side DI link *}
x1!m1 with
  label l: A
  sourcelevel s: 1
  targetlevel t: 0
end

x2 in OBJECT with {* an instance subject *}
  IN c: x1
  linkDR m1: y1
end

{* a value-side DI link *}
x2!m1 with
  label l: A
  sourcelevel s: 0
  targetlevel t: 1
end


y1 in OBJECT end  {* a class for values *}

y2 in OBJECT with {* an instance value *}
  IN c: y1
end