{
* File: W28.sml.txt
* Author: Michael Schrefl, Bernd Neumayr, Manfred Jeusfeld
* Created: 23-Sep-2013/M.Jeusfeld (15-Noc-2013/M.Jeusfeld)
* ------------------------------------------------------
* like E16 but using the R/D link types; in this case
* axiom i4 is violated because CarModel!m1 is only an R-link
*
}

Mileage in ALABEL end

MetricLinearMeasure in OBJECT 
end

CarModel in OBJECT with
  linkR m1: MetricLinearMeasure
end

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

VolvoV50 in OBJECT with
  IN c1: CarModel
  linkD m1: MetricLinearMeasure
end

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

km in OBJECT with
  IN c1: MetricLinearMeasure
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