{
* File: E26a.sml.txt
* Author: Michael Schrefl, Bernd Neumayr, Manfred Jeusfeld
* Created: 1-Nov-2013/M.Jeusfeld (4-Nov-2013)
* ------------------------------------------------------
* simple example of subject deep instantiation
}

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
end



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

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


{* another linkDR is need to make this model consistent *}