{
* File: W25a.sml.txt
* Author: Michael Schrefl, Bernd Neumayr, Manfred Jeusfeld
* Created: 23-Oct-2013/M.Jeusfeld (15-Nov-2013/M.Jeusfeld)
* ------------------------------------------------------
* = E23+E24 + one linkDR
* --> violates crossover constraints d7a,d7b
* 
}

{* E23 *}

Speed in ALABEL end

CarModel in OBJECT with
 linkDR m: "km/h"
end

"km/h" in OBJECT end

CarModel!m with
  sourcelevel e: 2
  targetlevel f: 1
  label l: Speed
end


VolvoV50 in OBJECT with
   IN c: CarModel 
   linkDR m1: "145 km/h"
   linkDR m2: "165 km/h"
end

"145 km/h" in OBJECT with
  IN c: "km/h"
end

"165 km/h" in OBJECT with
 IN c: "km/h"
end

VolvoV50!m1 with
  sourcelevel s: 1
  targetlevel t: 0
  label l: Speed
end

VolvoV50!m2 with
  sourcelevel s: 1
  targetlevel t: 0
  label l: Speed
end



{* E24 *}


Speed in ALABEL end

VolvoV50 in OBJECT with
 linkDR m: SpeedMeasure
end

SpeedMeasure in OBJECT end

VolvoV50!m with
  sourcelevel e: 1
  targetlevel f: 2
  label l: Speed
end


myV50 in OBJECT with
   IN c: VolvoV50 
   linkDR m1: "km/h"
   linkDR m2: "miles/h"
end

"km/h" in OBJECT with
  IN c: SpeedMeasure
end

"miles/h" in OBJECT with
 IN c: SpeedMeasure
end

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

myV50!m2 with
  sourcelevel s: 0
  targetlevel t: 1
  label l: Speed
end



{* additional linkDR to satisfy axiom i4 *}

CarModel in OBJECT with
 linkDR m1: SpeedMeasure
end

CarModel!m1 with
  sourcelevel e: 2
  targetlevel f: 2
  label l: Speed
end