{
* File: W22.sml.txt
* Author: Michael Schrefl, Bernd Neumayr, Manfred Jeusfeld
* Created: 16-Oct-2013/M.Jeusfeld (21-Oct-2013/M.Jeusfeld)
* ------------------------------------------------------
* W21: like E21 but uses SPEC instead IN for rollup hierarchy;
* violates the orthogonality axiom
*
}

Speed in ALABEL end


billsTrabi in OBJECT with
 linkDR m3: VeryLowSpeed
 linkDR m4: S_46_75
 linkDR m5: "57 km/h"
end


billsTrabi!m3 with
  sourcelevel s: 0
  targetlevel t: 1
  label l: Speed
end

billsTrabi!m4 with
  sourcelevel s: 0
  targetlevel t: 1
  label l: Speed
end

billsTrabi!m5 with
  sourcelevel s: 0
  targetlevel t: 0
  label l: Speed
end



AnySpeed in OBJECT
end

IrregularSpeed in OBJECT with
  SPEC c1: AnySpeed
end

RegularSpeed in OBJECT with
  SPEC c1: AnySpeed
end

VeryHighSpeed in OBJECT with
  SPEC c1: IrregularSpeed
end

HighSpeed in OBJECT with
  SPEC c1: RegularSpeed
end

LowSpeed in OBJECT with
  SPEC c1: RegularSpeed
end

VeryLowSpeed in OBJECT with
  SPEC c1: RegularSpeed
end



S_351_400 in OBJECT with
  SPEC c1: VeryHighSpeed
end

S_301_350 in OBJECT with
  SPEC c1: VeryHighSpeed
end

S_251_300 in OBJECT with
  SPEC c1: HighSpeed
end

S_201_250 in OBJECT with
  SPEC c1: HighSpeed
end

S_151_200 in OBJECT with
  SPEC c1: HighSpeed
end

S_101_150 in OBJECT with
  SPEC c1: LowSpeed
end

S_76_100 in OBJECT with
  SPEC c1: LowSpeed
end

S_46_75 in OBJECT with
  SPEC c1: VeryLowSpeed
end

S_0_45 in OBJECT with
  SPEC c1: VeryLowSpeed
end

"156 km/h" in OBJECT with
  IN c1: S_151_200
end

"366 km/h" in OBJECT with
  IN c1: S_351_400
end

"57 km/h" in OBJECT with
  IN c1: S_46_75
end