Pedestrian enters sidewalk 8
type: Class
subclass of: Pedestrian enters sidewalk
subclass of: Restriction
  values from: Sidewalk 8
  on property: hasSidewalkZone
  cardinality: 1

Pedestrian enters sidewalk
type: Class
subclass of: Pedestrian enters zone
subclass of: Restriction
  on property: hasSidewalkZone
  cardinality: 1
  values from: Sidewalk

Potentially dangerous situation
type: Class
subclass of: RoadTrafficScene
subclass of: Restriction
  values from: Class
    union of: No speed adjustment
    union of: Two approaching pedestrians
    union of: No speed adjustment simple
  on property: hasPartL
  cardinality: 1

No speed adjustment
type: Class
subclass of: Restriction
  on property: hasPartE
  values from: Class
    union of: Approaching pedestrian sidewalk 2 curbstone 3
    union of: Approaching pedestrian sidewalk 5 curbstone 3
    union of: Approaching pedestrian sidewalk 11 curbstone 9
    union of: Approaching pedestrian sidewalk 8 curbstone 9
    union of: Approaching pedestrian passing 4 curbstone 3
    union of: Approaching pedestrian passing 10 curbstone 9
  cardinality: 1
subclass of: Restriction
  on property: is-context-free
  has value: true
subclass of: Restriction
  values from: Vehicle steady speed
  on property: hasPartD
  cardinality: 1
subclass of: Restriction
  on property: hasPartC
  values from: Vehicle enters approaching lane
  cardinality: 1
subclass of: RoadTrafficScene

Two approaching pedestrians
type: Class
subclass of: Restriction
  cardinality: 1
  on property: hasPartK
  values from: Class
    union of: Approaching pedestrian sidewalk 2 curbstone 3
    union of: Approaching pedestrian sidewalk 5 curbstone 3
    union of: Approaching pedestrian passing 4 curbstone 3
subclass of: Restriction
  on property: hasPartJ
  values from: Class
    union of: Approaching pedestrian sidewalk 11 curbstone 9
    union of: Approaching pedestrian sidewalk 8 curbstone 9
    union of: Approaching pedestrian passing 10 curbstone 9
  cardinality: 1
subclass of: RoadTrafficScene

No speed adjustment simple
type: Class
subclass of: RoadTrafficScene
subclass of: Restriction
  on property: hasPartC
  cardinality: 1
  values from: Vehicle enters approaching lane
subclass of: Restriction
  values from: Vehicle steady speed
  on property: hasPartD
  cardinality: 1
subclass of: Restriction
  cardinality: 1
  values from: Class
    union of: Pedestrian enters curbstone 3
    union of: Pedestrian enters curbstone 9
  on property: hasPartE

RoadUser enters zone
type: Class
subclass of: PrimitiveEvent
subclass of: Restriction
  values from: RoadUser
  cardinality: 1
  on property: hasRoadUser
subclass of: Restriction
  cardinality: 1
  values from: Zone
  on property: hasZone

Vehicle speedup speed
type: Class
subclass of: Restriction
  on property: hasVehicle
  cardinality: 1
  values from: Vehicle
subclass of: RoadUser Relative Movement

Approaching pedestrian sidewalk 2 curbstone 3
type: Class
subclass of: Approaching pedestrian sidewalk curbstone
subclass of: Restriction
  values from: Pedestrian enters curbstone 3
  on property: hasPartB
  cardinality: 1
subclass of: Restriction
  on property: hasPartA
  cardinality: 1
  values from: Pedestrian enters sidewalk 2

Approaching pedestrian sidewalk curbstone
type: Class
subclass of: Restriction
  on property: hasPartA
  values from: Pedestrian enters sidewalk
  cardinality: 1
subclass of: Restriction
  values from: Pedestrian enters curbstone
  on property: hasPartB
  cardinality: 1
subclass of: Approaching pedestrian

Pedestrian enters curbstone 3
type: Class
subclass of: Pedestrian enters curbstone
subclass of: Restriction
  on property: hasCurbstoneZone
  cardinality: 1
  values from: Curbstone 3

Pedestrian enters sidewalk 2
type: Class
subclass of: Pedestrian enters sidewalk
subclass of: Restriction
  values from: Sidewalk 2
  on property: hasSidewalkZone
  cardinality: 1

Pedestrian enters passing 4
type: Class
subclass of: Pedestrian enters passing
subclass of: Restriction
  values from: Passing 4
  cardinality: 1
  on property: hasPassingZone

Pedestrian enters passing
type: Class
subclass of: Pedestrian enters zone
subclass of: Restriction
  values from: Passing
  cardinality: 1
  on property: hasPassingZone

Approaching pedestrian passing curbstone
type: Class
subclass of: Restriction
  on property: hasPartB
  cardinality: 1
  values from: Pedestrian enters curbstone
subclass of: Restriction
  values from: Pedestrian enters passing
  cardinality: 1
  on property: hasPartA
subclass of: Approaching pedestrian

Pedestrian enters curbstone
type: Class
subclass of: Pedestrian enters zone
subclass of: Restriction
  cardinality: 1
  values from: Curbstone
  on property: hasCurbstoneZone

Approaching pedestrian
type: Class
subclass of: RoadTrafficScene
subclass of: Restriction
  values from: Pedestrian enters zone
  on property: hasPartA
  cardinality: 1
subclass of: Restriction
  values from: Pedestrian enters zone
  cardinality: 1
  on property: hasPartB
subclass of: Restriction
  has value: true
  on property: is-context-free

Approaching pedestrian sidewalk 5 curbstone 3
type: Class
subclass of: Restriction
  on property: hasPartA
  values from: Pedestrian enters sidewalk 5
  cardinality: 1
subclass of: Restriction
  cardinality: 1
  values from: Pedestrian enters curbstone 3
  on property: hasPartB
subclass of: Approaching pedestrian sidewalk curbstone

Pedestrian enters sidewalk 5
type: Class
subclass of: Pedestrian enters sidewalk
subclass of: Restriction
  values from: Sidewalk 5
  on property: hasSidewalkZone
  cardinality: 1

Pedestrian enters zone
type: Class
subclass of: RoadUser enters zone
subclass of: Restriction
  cardinality: 1
  on property: hasPedestrian
  values from: Pedestrian

Vehicle enters zone
type: Class
subclass of: Restriction
  some values from: string
  on property: hasLocation
subclass of: Restriction
  cardinality: 1
  on property: hasVehicle
  values from: Vehicle
subclass of: RoadUser enters zone

Approaching pedestrian sidewalk 11 curbstone 9
type: Class
subclass of: Restriction
  cardinality: 1
  on property: hasPartA
  values from: Pedestrian enters sidewalk 11
subclass of: Restriction
  on property: hasPartB
  cardinality: 1
  values from: Pedestrian enters curbstone 9
subclass of: Approaching pedestrian sidewalk curbstone

Pedestrian enters sidewalk 11
type: Class
subclass of: Pedestrian enters sidewalk
subclass of: Restriction
  on property: hasSidewalkZone
  cardinality: 1
  values from: Sidewalk 11

Pedestrian enters curbstone 9
type: Class
subclass of: Pedestrian enters curbstone
subclass of: Restriction
  on property: hasCurbstoneZone
  cardinality: 1
  values from: Curbstone 9

Approaching pedestrian passing 4 curbstone 3
type: Class
subclass of: Restriction
  on property: hasPartB
  cardinality: 1
  values from: Pedestrian enters curbstone 3
subclass of: Restriction
  on property: hasPartA
  cardinality: 1
  values from: Pedestrian enters passing 4
subclass of: Approaching pedestrian passing curbstone

Vehicle enters crosswalk 0
type: Class
subclass of: Vehicle enters crosswalk
subclass of: Restriction
  values from: Crosswalk_0
  cardinality: 1
  on property: hasCrosswalkZone

Vehicle enters crosswalk
type: Class
subclass of: Vehicle enters zone
subclass of: Restriction
  on property: hasCrosswalkZone
  values from: Crosswalk_0
  cardinality: 1

Vehicle enters approaching lane 12
type: Class
subclass of: Restriction
  on property: hasApproachingLaneZone
  values from: Approaching Lane 12
  cardinality: 1
subclass of: Vehicle enters approaching lane

Vehicle enters approaching lane
type: Class
subclass of: Restriction
  values from: Approaching Lane
  cardinality: 1
  on property: hasApproachingLaneZone
subclass of: Vehicle enters zone

RoadUser driving action
type: Class
subclass of: RoadUser Actions
subclass of: Restriction
  cardinality: 1
  on property: hasRoadUser
  values from: RoadUser

Vehicle enters departing lane
type: Class
subclass of: Restriction
  values from: Departing Lane
  on property: hasDepartingLaneZone
  cardinality: 1
subclass of: Vehicle enters zone

Vehicle enters departing lane 1
type: Class
subclass of: Restriction
  on property: hasDepartingLaneZone
  cardinality: 1
  values from: Departing Lane 1
subclass of: Vehicle enters departing lane

Vehicle slowingdown speed
type: Class
subclass of: Restriction
  values from: Vehicle
  cardinality: 1
  on property: hasVehicle
subclass of: RoadUser Relative Movement

Approaching pedestrian sidewalk 8 curbstone 9
type: Class
subclass of: Approaching pedestrian sidewalk curbstone
subclass of: Restriction
  values from: Pedestrian enters sidewalk 8
  cardinality: 1
  on property: hasPartA
subclass of: Restriction
  values from: Pedestrian enters curbstone 9
  cardinality: 1
  on property: hasPartB

Approaching pedestrian passing 10 curbstone 9
type: Class
subclass of: Restriction
  on property: hasPartB
  cardinality: 1
  values from: Pedestrian enters curbstone 9
subclass of: Restriction
  values from: Pedestrian enters passing 4
  cardinality: 1
  on property: hasPartA
subclass of: Approaching pedestrian passing curbstone

Vehicle steady speed
type: Class
subclass of: RoadUser Relative Movement
subclass of: Restriction
  on property: hasVehicle
  cardinality: 1
  values from: Vehicle

Vehicle enters approaching lane 6
type: Class
subclass of: Vehicle enters approaching lane
subclass of: Restriction
  cardinality: 1
  values from: Approaching Lane 6
  on property: hasApproachingLaneZone

Pedestrian enters crosswalk 0
type: Class
subclass of: Pedestrian enters crosswalk
subclass of: Restriction
  values from: Crosswalk_0
  on property: hasCrosswalkZone
  cardinality: 1

Pedestrian enters crosswalk
type: Class
subclass of: Pedestrian enters zone
subclass of: Restriction
  values from: Crosswalk
  cardinality: 1
  on property: hasCrosswalkZone

Pedestrian enters passing 10
type: Class
subclass of: Pedestrian enters passing
subclass of: Restriction
  cardinality: 1
  values from: Passing 10
  on property: hasPassingZone

RoadUser walking action
type: Class
subclass of: RoadUser Actions
subclass of: Restriction
  values from: RoadUser
  cardinality: 1
  on property: hasRoadUser

RoadUser standing action
type: Class
subclass of: Restriction
  on property: hasRoadUser
  cardinality: 1
  values from: RoadUser
subclass of: RoadUser Actions

Vehicle enters departing lane 7
type: Class
subclass of: Restriction
  on property: hasDepartingLaneZone
  cardinality: 1
  values from: Departing Lane 7
subclass of: Vehicle enters departing lane

Approaching pedestrian passing 10 curbstone 9-Rule
type: Imp
head: BuiltinAtom
  builtin: equal
  arguments: ped1
  arguments: ped2
head: BuiltinAtom
  builtin: min-before
  arguments: appPed-start
  arguments: pedpassing-start
  arguments: 0
head: BuiltinAtom
  builtin: min-before
  arguments: pedpassing-start
  arguments: appPed-start
  arguments: 0
head: BuiltinAtom
  builtin: min-before
  arguments: pedpassing-finish
  arguments: pedcurbstone-start
  arguments: 0
head: BuiltinAtom
  arguments: appPed-finish
  arguments: pedcurbstone-finish
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  arguments: pedcurbstone-finish
  arguments: appPed-finish
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  builtin: min-before
  arguments: pedcurbstone-finish
  arguments: pedpassing-start
  arguments: -20000
body: ClassAtom
  argument1: appPed
  class predicate: Approaching pedestrian passing 10 curbstone 9
body: IndividualPropertyAtom
  argument2: pedpassing
  argument1: appPed
  property predicate: hasPartA
body: IndividualPropertyAtom
  argument1: pedpassing
  argument2: ped1
  property predicate: hasPedestrian
body: IndividualPropertyAtom
  property predicate: hasPartB
  argument2: pedcurbstone
  argument1: appPed
body: IndividualPropertyAtom
  property predicate: hasPedestrian
  argument2: ped2
  argument1: pedcurbstone
body: IndividualPropertyAtom
  property predicate: has-start-time
  argument2: appPed-start
  argument1: appPed
body: IndividualPropertyAtom
  property predicate: has-finish-time
  argument1: appPed
  argument2: appPed-finish
body: IndividualPropertyAtom
  property predicate: has-start-time
  argument1: pedpassing
  argument2: pedpassing-start
body: IndividualPropertyAtom
  argument2: pedpassing-finish
  property predicate: has-finish-time
  argument1: pedpassing
body: IndividualPropertyAtom
  argument2: pedcurbstone-start
  argument1: pedcurbstone
  property predicate: has-start-time
body: IndividualPropertyAtom
  argument2: pedcurbstone-finish
  argument1: pedcurbstone
  property predicate: has-finish-time

Approaching pedestrian sidewalk 11 curbstone 9-Rule
type: Imp
body: ClassAtom
  argument1: appPed
  class predicate: Approaching pedestrian sidewalk 11 curbstone 9
body: IndividualPropertyAtom
  argument1: appPed
  argument2: pedsidewalk
  property predicate: hasPartA
body: IndividualPropertyAtom
  property predicate: hasPedestrian
  argument1: pedsidewalk
  argument2: ped1
body: IndividualPropertyAtom
  argument1: appPed
  argument2: pedcurbstone
  property predicate: hasPartB
body: IndividualPropertyAtom
  argument2: ped2
  argument1: pedcurbstone
  property predicate: hasPedestrian
body: IndividualPropertyAtom
  argument1: appPed
  argument2: appPed-start
  property predicate: has-start-time
body: IndividualPropertyAtom
  argument2: appPed-finish
  argument1: appPed
  property predicate: has-finish-time
body: IndividualPropertyAtom
  property predicate: has-start-time
  argument1: pedsidewalk
  argument2: pedsidewalk-start
body: IndividualPropertyAtom
  property predicate: has-finish-time
  argument2: pedsidewalk-finish
  argument1: pedsidewalk
body: IndividualPropertyAtom
  argument2: pedcurbstone-start
  argument1: pedcurbstone
  property predicate: has-start-time
body: IndividualPropertyAtom
  argument2: pedcurbstone-finish
  argument1: pedcurbstone
  property predicate: has-finish-time
head: BuiltinAtom
  builtin: equal
  arguments: ped1
  arguments: ped2
head: BuiltinAtom
  arguments: appPed-start
  arguments: pedsidewalk-start
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  builtin: min-before
  arguments: pedsidewalk-start
  arguments: appPed-start
  arguments: 0
head: BuiltinAtom
  arguments: pedsidewalk-finish
  arguments: pedcurbstone-start
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  builtin: min-before
  arguments: appPed-finish
  arguments: pedcurbstone-finish
  arguments: 0
head: BuiltinAtom
  arguments: pedcurbstone-finish
  arguments: appPed-finish
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  arguments: pedcurbstone-finish
  arguments: pedsidewalk-start
  arguments: -20000
  builtin: min-before

Approaching pedestrian sidewalk 8 curbstone 9-Rule
type: Imp
head: BuiltinAtom
  builtin: equal
  arguments: ped1
  arguments: ped2
head: BuiltinAtom
  builtin: min-before
  arguments: appPed-start
  arguments: pedsidewalk-start
  arguments: 0
head: BuiltinAtom
  arguments: pedsidewalk-start
  arguments: appPed-start
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  builtin: min-before
  arguments: pedsidewalk-finish
  arguments: pedcurbstone-start
  arguments: 0
head: BuiltinAtom
  builtin: min-before
  arguments: appPed-finish
  arguments: pedcurbstone-finish
  arguments: 0
head: BuiltinAtom
  builtin: min-before
  arguments: pedcurbstone-finish
  arguments: appPed-finish
  arguments: 0
head: BuiltinAtom
  builtin: min-before
  arguments: pedcurbstone-finish
  arguments: pedsidewalk-start
  arguments: -20000
body: ClassAtom
  class predicate: Approaching pedestrian sidewalk 8 curbstone 9
  argument1: appPed
body: IndividualPropertyAtom
  property predicate: hasPartA
  argument2: pedsidewalk
  argument1: appPed
body: IndividualPropertyAtom
  argument1: pedsidewalk
  argument2: ped1
  property predicate: hasPedestrian
body: IndividualPropertyAtom
  argument1: appPed
  argument2: pedcurbstone
  property predicate: hasPartB
body: IndividualPropertyAtom
  property predicate: hasPedestrian
  argument2: ped2
  argument1: pedcurbstone
body: IndividualPropertyAtom
  argument1: appPed
  argument2: appPed-start
  property predicate: has-start-time
body: IndividualPropertyAtom
  argument2: appPed-finish
  argument1: appPed
  property predicate: has-finish-time
body: IndividualPropertyAtom
  property predicate: has-start-time
  argument1: pedsidewalk
  argument2: pedsidewalk-start
body: IndividualPropertyAtom
  property predicate: has-finish-time
  argument2: pedsidewalk-finish
  argument1: pedsidewalk
body: IndividualPropertyAtom
  property predicate: has-start-time
  argument2: pedcurbstone-start
  argument1: pedcurbstone
body: IndividualPropertyAtom
  argument1: pedcurbstone
  argument2: pedcurbstone-finish
  property predicate: has-finish-time

Two approaching pedestrians-Rule
type: Imp
body: ClassAtom
  argument1: twoapp
  class predicate: Two approaching pedestrians
body: IndividualPropertyAtom
  property predicate: hasPartJ
  argument1: twoapp
  argument2: pas1
body: IndividualPropertyAtom
  argument1: pas1
  argument2: pec1
  property predicate: hasPartB
body: IndividualPropertyAtom
  argument2: pede1
  argument1: pec1
  property predicate: hasPedestrian
body: IndividualPropertyAtom
  property predicate: hasPartK
  argument2: pas2
  argument1: twoapp
body: IndividualPropertyAtom
  property predicate: hasPartB
  argument2: pec2
  argument1: pas2
body: IndividualPropertyAtom
  property predicate: hasPedestrian
  argument1: pec2
  argument2: pede2
body: IndividualPropertyAtom
  property predicate: has-start-time
  argument1: twoapp
  argument2: twoapp-start
body: IndividualPropertyAtom
  argument2: twoapp-finish
  argument1: twoapp
  property predicate: has-finish-time
body: IndividualPropertyAtom
  argument1: pas1
  argument2: pas1-start
  property predicate: has-start-time
body: IndividualPropertyAtom
  argument2: pas1-finish
  argument1: pas1
  property predicate: has-finish-time
body: IndividualPropertyAtom
  argument1: pas2
  argument2: pas2-start
  property predicate: has-start-time
body: IndividualPropertyAtom
  argument1: pas2
  argument2: pas2-finish
  property predicate: has-finish-time
body: IndividualPropertyAtom
  argument1: pec1
  property predicate: has-start-time
  argument2: pec1-start
body: IndividualPropertyAtom
  argument1: pec1
  argument2: pec1-finish
  property predicate: has-finish-time
body: IndividualPropertyAtom
  argument1: pec2
  argument2: pec2-start
  property predicate: has-start-time
body: IndividualPropertyAtom
  property predicate: has-finish-time
  argument1: pec2
  argument2: pec2-finish
head: BuiltinAtom
  arguments: twoapp-start
  arguments: pas2-start
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  builtin: min-before
  arguments: pas2-start
  arguments: twoapp-start
  arguments: 0
head: BuiltinAtom
  builtin: min-before
  arguments: twoapp-finish
  arguments: pas1-finish
  arguments: 0
head: BuiltinAtom
  builtin: min-before
  arguments: pas1-finish
  arguments: twoapp-finish
  arguments: 0
head: BuiltinAtom
  arguments: twoapp-finish
  arguments: twoapp-start
  arguments: -30000
  builtin: min-before

Approaching pedestrian sidewalk 2 curbstone 3-Rule
type: Imp
head: BuiltinAtom
  builtin: equal
  arguments: ped1
  arguments: ped2
head: BuiltinAtom
  builtin: min-before
  arguments: appPed-start
  arguments: pedsidewalk-start
  arguments: 0
head: BuiltinAtom
  arguments: pedsidewalk-start
  arguments: appPed-start
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  builtin: min-before
  arguments: pedsidewalk-finish
  arguments: pedcurbstone-start
  arguments: 0
head: BuiltinAtom
  arguments: appPed-finish
  arguments: pedcurbstone-finish
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  builtin: min-before
  arguments: pedcurbstone-finish
  arguments: appPed-finish
  arguments: 0
head: BuiltinAtom
  arguments: pedcurbstone-finish
  arguments: pedsidewalk-start
  arguments: -20000
  builtin: min-before
body: ClassAtom
  class predicate: Approaching pedestrian sidewalk 2 curbstone 3
  argument1: appPed
body: IndividualPropertyAtom
  property predicate: hasPartA
  argument1: appPed
  argument2: pedsidewalk
body: IndividualPropertyAtom
  argument1: pedsidewalk
  argument2: ped1
  property predicate: hasPedestrian
body: IndividualPropertyAtom
  property predicate: hasPartB
  argument2: pedcurbstone
  argument1: appPed
body: IndividualPropertyAtom
  argument2: ped2
  argument1: pedcurbstone
  property predicate: hasPedestrian
body: IndividualPropertyAtom
  argument2: appPed-start
  property predicate: has-start-time
  argument1: appPed
body: IndividualPropertyAtom
  property predicate: has-finish-time
  argument2: appPed-finish
  argument1: appPed
body: IndividualPropertyAtom
  property predicate: has-start-time
  argument1: pedsidewalk
  argument2: pedsidewalk-start
body: IndividualPropertyAtom
  argument2: pedsidewalk-finish
  argument1: pedsidewalk
  property predicate: has-finish-time
body: IndividualPropertyAtom
  property predicate: has-start-time
  argument2: pedcurbstone-start
  argument1: pedcurbstone
body: IndividualPropertyAtom
  argument1: pedcurbstone
  argument2: pedcurbstone-finish
  property predicate: has-finish-time

Approaching pedestrian passing 4 curbstone 3-Rule
type: Imp
head: BuiltinAtom
  builtin: equal
  arguments: ped1
  arguments: ped2
head: BuiltinAtom
  arguments: appPed-start
  arguments: pedpassing-start
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  builtin: min-before
  arguments: pedpassing-start
  arguments: appPed-start
  arguments: 0
head: BuiltinAtom
  builtin: min-before
  arguments: pedpassing-finish
  arguments: pedcurbstone-start
  arguments: 0
head: BuiltinAtom
  arguments: appPed-finish
  arguments: pedcurbstone-finish
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  builtin: min-before
  arguments: pedcurbstone-finish
  arguments: appPed-finish
  arguments: 0
head: BuiltinAtom
  builtin: min-before
  arguments: pedcurbstone-finish
  arguments: pedpassing-start
  arguments: -20000
body: ClassAtom
  argument1: appPed
  class predicate: Approaching pedestrian passing 4 curbstone 3
body: IndividualPropertyAtom
  argument1: appPed
  argument2: pedpassing
  property predicate: hasPartA
body: IndividualPropertyAtom
  property predicate: hasPedestrian
  argument2: ped1
  argument1: pedpassing
body: IndividualPropertyAtom
  argument2: pedcurbstone
  argument1: appPed
  property predicate: hasPartB
body: IndividualPropertyAtom
  argument2: ped2
  argument1: pedcurbstone
  property predicate: hasPedestrian
body: IndividualPropertyAtom
  property predicate: has-start-time
  argument2: appPed-start
  argument1: appPed
body: IndividualPropertyAtom
  property predicate: has-finish-time
  argument2: appPed-finish
  argument1: appPed
body: IndividualPropertyAtom
  argument2: pedpassing-start
  argument1: pedpassing
  property predicate: has-start-time
body: IndividualPropertyAtom
  property predicate: has-finish-time
  argument2: pedpassing-finish
  argument1: pedpassing
body: IndividualPropertyAtom
  argument1: pedcurbstone
  argument2: pedcurbstone-start
  property predicate: has-start-time
body: IndividualPropertyAtom
  argument1: pedcurbstone
  argument2: pedcurbstone-finish
  property predicate: has-finish-time

No speed adjustment-Rule
type: Imp
head: BuiltinAtom
  arguments: car1
  arguments: car2
  builtin: equal
head: BuiltinAtom
  builtin: equal
  arguments: ped2
  arguments: ped3
head: BuiltinAtom
  builtin: min-before
  arguments: nspeed-start
  arguments: veal-start
  arguments: 0
head: BuiltinAtom
  arguments: veal-start
  arguments: nspeed-start
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  builtin: min-before
  arguments: veal-finish
  arguments: vss-start
  arguments: 0
head: BuiltinAtom
  arguments: pes-finish
  arguments: pec-start
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  arguments: ap-start
  arguments: pes-start
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  arguments: pes-start
  arguments: ap-start
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  builtin: min-before
  arguments: ap-finish
  arguments: pec-finish
  arguments: 0
head: BuiltinAtom
  arguments: pec-finish
  arguments: ap-finish
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  arguments: nspeed-finish
  arguments: pec-finish
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  arguments: pec-finish
  arguments: nspeed-finish
  arguments: 0
  builtin: min-before
body: ClassAtom
  class predicate: No speed adjustment
  argument1: nspeed
body: IndividualPropertyAtom
  property predicate: hasPartC
  argument1: nspeed
  argument2: veal
body: IndividualPropertyAtom
  property predicate: hasVehicle
  argument1: veal
  argument2: car1
body: IndividualPropertyAtom
  argument1: nspeed
  argument2: vss
  property predicate: hasPartD
body: IndividualPropertyAtom
  property predicate: hasVehicle
  argument2: car2
  argument1: vss
body: IndividualPropertyAtom
  property predicate: hasPartE
  argument1: nspeed
  argument2: ap
body: IndividualPropertyAtom
  property predicate: hasPartA
  argument1: ap
  argument2: pes
body: IndividualPropertyAtom
  argument2: ped2
  property predicate: hasPedestrian
  argument1: pes
body: IndividualPropertyAtom
  property predicate: hasPartB
  argument1: ap
  argument2: pec
body: IndividualPropertyAtom
  property predicate: hasPedestrian
  argument2: ped3
  argument1: pec
body: IndividualPropertyAtom
  argument2: nspeed-start
  argument1: nspeed
  property predicate: has-start-time
body: IndividualPropertyAtom
  property predicate: has-finish-time
  argument2: nspeed-finish
  argument1: nspeed
body: IndividualPropertyAtom
  property predicate: has-start-time
  argument2: veal-start
  argument1: veal
body: IndividualPropertyAtom
  property predicate: has-finish-time
  argument1: veal
  argument2: veal-finish
body: IndividualPropertyAtom
  property predicate: has-start-time
  argument1: vss
  argument2: vss-start
body: IndividualPropertyAtom
  property predicate: has-finish-time
  argument2: vss-finish
  argument1: vss
body: IndividualPropertyAtom
  property predicate: has-start-time
  argument2: ap-start
  argument1: ap
body: IndividualPropertyAtom
  argument2: ap-finish
  argument1: ap
  property predicate: has-finish-time
body: IndividualPropertyAtom
  argument2: pes-start
  argument1: pes
  property predicate: has-start-time
body: IndividualPropertyAtom
  property predicate: has-finish-time
  argument1: pes
  argument2: pes-finish
body: IndividualPropertyAtom
  argument1: pec
  argument2: pec-start
  property predicate: has-start-time
body: IndividualPropertyAtom
  property predicate: has-finish-time
  argument1: pec
  argument2: pec-finish

No speed adjustment simple-Rule
type: Imp
body: ClassAtom
  argument1: nspeed
  class predicate: No speed adjustment simple
body: IndividualPropertyAtom
  property predicate: hasPartC
  argument2: veal
  argument1: nspeed
body: IndividualPropertyAtom
  property predicate: hasVehicle
  argument2: car1
  argument1: veal
body: IndividualPropertyAtom
  property predicate: hasPartD
  argument2: vss
  argument1: nspeed
body: IndividualPropertyAtom
  property predicate: hasVehicle
  argument1: vss
  argument2: car2
body: IndividualPropertyAtom
  argument2: curb
  argument1: nspeed
  property predicate: hasPartE
body: IndividualPropertyAtom
  property predicate: hasPedestrian
  argument1: curb
  argument2: ped1
body: IndividualPropertyAtom
  property predicate: has-start-time
  argument2: nspeed-start
  argument1: nspeed
body: IndividualPropertyAtom
  argument2: nspeed-finish
  argument1: nspeed
  property predicate: has-finish-time
body: IndividualPropertyAtom
  property predicate: has-start-time
  argument1: veal
  argument2: veal-start
body: IndividualPropertyAtom
  argument2: veal-finish
  argument1: veal
  property predicate: has-finish-time
body: IndividualPropertyAtom
  argument1: vss
  argument2: vss-start
  property predicate: has-start-time
body: IndividualPropertyAtom
  property predicate: has-finish-time
  argument1: vss
  argument2: vss-finish
body: IndividualPropertyAtom
  argument2: curb-start
  argument1: curb
  property predicate: has-start-time
body: IndividualPropertyAtom
  argument2: curb-finish
  property predicate: has-finish-time
  argument1: curb
head: BuiltinAtom
  arguments: car1
  arguments: car2
  builtin: equal
head: BuiltinAtom
  arguments: nspeed-start
  arguments: veal-start
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  builtin: min-before
  arguments: veal-start
  arguments: nspeed-start
  arguments: 0
head: BuiltinAtom
  builtin: min-before
  arguments: veal-start
  arguments: vss-start
  arguments: 0
head: BuiltinAtom
  builtin: min-before
  arguments: vss-start
  arguments: veal-start
  arguments: 0
head: BuiltinAtom
  builtin: min-before
  arguments: curb-finish
  arguments: nspeed-finish
  arguments: 0
head: BuiltinAtom
  arguments: nspeed-finish
  arguments: curb-finish
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  builtin: min-before
  arguments: veal-finish
  arguments: nspeed-finish
  arguments: 0
head: BuiltinAtom
  builtin: min-before
  arguments: nspeed-finish
  arguments: veal-finish
  arguments: 0

Potentially dangerous situation-Rule
type: Imp
head: BuiltinAtom
  builtin: min-before
  arguments: pds-start
  arguments: pd-start
  arguments: 0
head: BuiltinAtom
  builtin: min-before
  arguments: pd-start
  arguments: pds-start
  arguments: 0
head: BuiltinAtom
  builtin: min-before
  arguments: pds-finish
  arguments: pd-finish
  arguments: 0
head: BuiltinAtom
  builtin: min-before
  arguments: pd-finish
  arguments: pds-finish
  arguments: 0
body: ClassAtom
  class predicate: Potentially dangerous situation
  argument1: pds
body: IndividualPropertyAtom
  argument2: pd
  argument1: pds
  property predicate: hasPartL
body: IndividualPropertyAtom
  property predicate: has-start-time
  argument2: pds-start
  argument1: pds
body: IndividualPropertyAtom
  argument1: pds
  argument2: pds-finish
  property predicate: has-finish-time
body: IndividualPropertyAtom
  property predicate: has-start-time
  argument2: pd-start
  argument1: pd
body: IndividualPropertyAtom
  property predicate: has-finish-time
  argument2: pd-finish
  argument1: pd

Approaching pedestrian sidewalk 5 curbstone 3-Rule
type: Imp
body: ClassAtom
  argument1: appPed
  class predicate: Approaching pedestrian sidewalk 5 curbstone 3
body: IndividualPropertyAtom
  argument1: appPed
  argument2: pedsidewalk
  property predicate: hasPartA
body: IndividualPropertyAtom
  property predicate: hasPedestrian
  argument1: pedsidewalk
  argument2: ped1
body: IndividualPropertyAtom
  property predicate: hasPartB
  argument1: appPed
  argument2: pedcurbstone
body: IndividualPropertyAtom
  argument2: ped2
  argument1: pedcurbstone
  property predicate: hasPedestrian
body: IndividualPropertyAtom
  argument2: appPed-start
  property predicate: has-start-time
  argument1: appPed
body: IndividualPropertyAtom
  argument2: appPed-finish
  argument1: appPed
  property predicate: has-finish-time
body: IndividualPropertyAtom
  argument1: pedsidewalk
  argument2: pedsidewalk-start
  property predicate: has-start-time
body: IndividualPropertyAtom
  property predicate: has-finish-time
  argument1: pedsidewalk
  argument2: pedsidewalk-finish
body: IndividualPropertyAtom
  property predicate: has-start-time
  argument1: pedcurbstone
  argument2: pedcurbstone-start
body: IndividualPropertyAtom
  property predicate: has-finish-time
  argument1: pedcurbstone
  argument2: pedcurbstone-finish
head: BuiltinAtom
  builtin: equal
  arguments: ped1
  arguments: ped2
head: BuiltinAtom
  arguments: appPed-start
  arguments: pedsidewalk-start
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  arguments: pedsidewalk-start
  arguments: appPed-start
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  arguments: pedsidewalk-finish
  arguments: pedcurbstone-start
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  builtin: min-before
  arguments: appPed-finish
  arguments: pedcurbstone-finish
  arguments: 0
head: BuiltinAtom
  arguments: pedcurbstone-finish
  arguments: appPed-finish
  arguments: 0
  builtin: min-before
head: BuiltinAtom
  arguments: pedcurbstone-finish
  arguments: pedsidewalk-start
  arguments: -20000
  builtin: min-before