{
* File: W1.sml.txt
* Author: Michael Schrefl, Bernd Neumayr, Manfred Jeusfeld
* Created: 28-Jun-2013/M.Jeusfeld (17-Oct-2013/M.Jeusfeld)
* ------------------------------------------------------
* Wrong variant of E1: Class-Instance
*
*
}

Mileage in ALABEL end

VolvoV50 in OBJECT with
  linkDR m1: km
end

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

km in OBJECT end

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

{** ERROR 1: not ("12km" IN km) *}
"12km" in OBJECT with
end

myV50!m1 with
  sourcelevel s: 1  {** ERROR 2: sourcelevel \= 0 *}
  targetlevel t: 0
  label l: Mileage
end