{
* File: E3.sml.txt
* Author: Michael Schrefl, Bernd Neumayr, Manfred Jeusfeld
* Created: 28-Jun-2013/M.Jeusfeld (18-Oct-2013/M.Jeusfeld)
* ------------------------------------------------------
* E3: DeepInstantiation2
* from slides DualDeepInstantiation.ppt (M.S.), slide 3
*
}

Mileage in ALABEL end
Speed in ALABEL end

CarModel in OBJECT with
  linkDR m1: km
  linkDR m2: km_per_h
end

CarModel!m1 with
  sourcelevel s: 2
  targetlevel t: 1
  label l: Mileage
end

CarModel!m2 with
  sourcelevel s: 2
  targetlevel t: 1
  label l: Speed
end

VolvoV50 in OBJECT with
  IN c1: CarModel
end

km in OBJECT end
km_per_h in OBJECT end

myV50 in OBJECT with
  IN c1: VolvoV50
  linkDR m1: "12km"
end

"12km" in OBJECT with
  IN c1: km
end

myV50!m1 with
  sourcelevel s: 0
  targetlevel t: 0
  label l: Mileage
end