{
* File: E27b.sml.txt
* Author: Michael Schrefl, Bernd Neumayr, Manfred Jeusfeld
* Created: 16-Oct-2013/M.Jeusfeld (8-Nov-2013/M.Jeusfeld)
* ------------------------------------------------------
* like W27b but lifting AnySpeedInterval to level 2; thus all axioms
* are now fulfilled
*
}

Speed in ALABEL end


billsTrabi in OBJECT with
 linkDR m3: VeryLowSpeed
{* linkDR m4: S_46_75 *}
 linkDR m5: "57 km/h"
 linkDR m6: IrregularSpeed 
 linkDR m7: AnySpeedInterval  {* needed for satisfying i4 for linkDR m6  *}
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

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

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


AnySpeedInterval in OBJECT
end

IrregularSpeed in OBJECT with
  IN c1: AnySpeedInterval
end

RegularSpeed in OBJECT with
  IN c1: AnySpeedInterval
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