{
* File: E27.sml.txt
* Author: Michael Schrefl, Bernd Neumayr, Manfred Jeusfeld
* Created: 16-Oct-2013/M.Jeusfeld (1-Nov-2013/M.Jeusfeld)
* ------------------------------------------------------
* corrected version of W21
*
}

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

{* m4 is removed to satisfy the ortoginality constraint of axiom 4
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