{
* File: W29a.sml.txt
* Author: Michael Schrefl, Bernd Neumayr, Manfred Jeusfeld
* Created: 15-Nov-2013/M.Jeusfeld (15-Nov-2013/M.Jeusfeld)
* ------------------------------------------------------
* negative example for axiom 5a (Functional constraint on factual attributes)?
* The attribute Mileage is functions but myV50 has two values (12km,13km)
*
}

Mileage in Functional,ALABEL end

MetricLinearMeasure in OBJECT 
end


km in OBJECT with
  IN c1: MetricLinearMeasure
end

myV50 in OBJECT with
  linkDR m1: "12km"
  linkDR m2: "13km"
end

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

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

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

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