Monitoring protocol
@(myContent>>(S_1*(S_2/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8))),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])


Message
event(abstraction_car0,assert_shared(safe))
leads from state 
@(myContent>>(S_1*(S_2/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8))),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])
to state
@(myContent>>(S_1*(S_2/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8))),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])

Message
event(abstraction_car0,remove_shared(at_speed_limit))
leads from state 
@(myContent>>(S_1*(S_2/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8))),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])
to state
@(myContent>>(S_1*(S_2/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8))),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])

Message
event(car0,perf(accelerate))
leads from state 
@(myContent>>(S_1*(S_2/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8))),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])
to state
@(myContent>>((((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])

Message
event(abstraction_car0,accelerating)
leads from state 
@(myContent>>((((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])
to state
@(myContent>>((((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])

Message
event(abstraction_car0,remove_shared(at_speed_limit))
leads from state 
@(myContent>>((((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])
to state
@(myContent>>(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])

Message
event(abstraction_car0,remove_shared(safe))
leads from state 
@(myContent>>(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])
to state
@(myContent>>(((bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])

Message
event(abstraction_car0,remove_shared(at_speed_limit))
leads from state 
@(myContent>>(((bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])
to state
@(myContent>>(S_1*S_2/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])

Message
event(car0,perf(brake))
leads from state 
@(myContent>>(S_1*S_2/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])
to state
@(myContent>>((((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])

Message
event(abstraction_car0,braking)
leads from state 
@(myContent>>((((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])
to state
@(myContent>>((((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])

Message
event(abstraction_car0,remove_shared(at_speed_limit))
leads from state 
@(myContent>>((((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])
to state
@(myContent>>(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])

Message
event(abstraction_car0,assert_shared(safe))
leads from state 
@(myContent>>(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_8)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])
to state
@(myContent>>(((bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_6)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])

Message
event(abstraction_car0,remove_shared(at_speed_limit))
leads from state 
@(myContent>>(((bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_6)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])
to state
@(myContent>>(S_1*S_2/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_6)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])

Message
event(abstraction_car0,assert_shared(driver_accelerates))
leads from state 
@(myContent>>(S_1*S_2/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_6)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(bel(driver_accelerates):S_4)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3\/(bel(driver_brakes):S_5),S_4=(not_bel(driver_accelerates):S_3)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4,S_5=(not_bel(driver_brakes):S_3)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(bel(driver_accelerates):S_7)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_6\/(not_bel(safe):S_8),S_7=(not_bel(driver_accelerates):S_6)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_7,S_8=(bel(safe):S_6)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])
to state
@(myContent>>(S_1*S_2/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_6)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(not_bel(driver_accelerates):S_4)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3,S_4=(bel(driver_accelerates):S_3)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4\/(bel(driver_brakes):S_5),S_5=(not_bel(driver_brakes):S_4)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(not_bel(driver_accelerates):S_7)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_6,S_7=(bel(driver_accelerates):S_6)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_7\/(not_bel(safe):S_8),S_8=(bel(safe):S_7)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])

Message
event(car0,perf(accelerate))
leads from state 
@(myContent>>(S_1*S_2/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_6)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(not_bel(driver_accelerates):S_4)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3,S_4=(bel(driver_accelerates):S_3)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4\/(bel(driver_brakes):S_5),S_5=(not_bel(driver_brakes):S_4)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(not_bel(driver_accelerates):S_7)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_6,S_7=(bel(driver_accelerates):S_6)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_7\/(not_bel(safe):S_8),S_8=(bel(safe):S_7)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])
to state
@(myContent>>((((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_6)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(not_bel(driver_accelerates):S_4)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3,S_4=(bel(driver_accelerates):S_3)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4\/(bel(driver_brakes):S_5),S_5=(not_bel(driver_brakes):S_4)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(not_bel(driver_accelerates):S_7)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_6,S_7=(bel(driver_accelerates):S_6)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_7\/(not_bel(safe):S_8),S_8=(bel(safe):S_7)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])

Message
event(abstraction_car0,accelerating)
leads from state 
@(myContent>>((((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_6)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(not_bel(driver_accelerates):S_4)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3,S_4=(bel(driver_accelerates):S_3)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4\/(bel(driver_brakes):S_5),S_5=(not_bel(driver_brakes):S_4)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(not_bel(driver_accelerates):S_7)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_6,S_7=(bel(driver_accelerates):S_6)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_7\/(not_bel(safe):S_8),S_8=(bel(safe):S_7)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])
to state
@(myContent>>((((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_6)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(not_bel(driver_accelerates):S_4)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3,S_4=(bel(driver_accelerates):S_3)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4\/(bel(driver_brakes):S_5),S_5=(not_bel(driver_brakes):S_4)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(not_bel(driver_accelerates):S_7)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_6,S_7=(bel(driver_accelerates):S_6)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_7\/(not_bel(safe):S_8),S_8=(bel(safe):S_7)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])

Message
event(abstraction_car0,remove_shared(at_speed_limit))
leads from state 
@(myContent>>((((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_6)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(not_bel(driver_accelerates):S_4)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3,S_4=(bel(driver_accelerates):S_3)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4\/(bel(driver_brakes):S_5),S_5=(not_bel(driver_brakes):S_4)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(not_bel(driver_accelerates):S_7)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_6,S_7=(bel(driver_accelerates):S_6)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_7\/(not_bel(safe):S_8),S_8=(bel(safe):S_7)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])
to state
@(myContent>>(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_6)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(not_bel(driver_accelerates):S_4)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3,S_4=(bel(driver_accelerates):S_3)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4\/(bel(driver_brakes):S_5),S_5=(not_bel(driver_brakes):S_4)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(not_bel(driver_accelerates):S_7)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_6,S_7=(bel(driver_accelerates):S_6)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_7\/(not_bel(safe):S_8),S_8=(bel(safe):S_7)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])

*** DYNAMIC TYPE-CHECKING ERROR ***
Message event(abstraction_car0,remove_shared(safe)) cannot be accepted in the current state @(myContent>>(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)*(S_1*S_2)/\(brake_or_accelerate>>S_3/\accelerates_or_safe>>S_6)),[S_1=(not_action:S_1)\/epsilon,S_2=(action(any_action):(((bel(safe):epsilon)\/(not_bel(safe):epsilon)\/epsilon|(bel(at_speed_limit):epsilon)\/(not_bel(at_speed_limit):epsilon)\/epsilon|(bel(driver_accelerates):epsilon)\/(not_bel(driver_accelerates):epsilon)\/epsilon|(bel(driver_brakes):epsilon)\/(not_bel(driver_brakes):epsilon)\/epsilon)|epsilon)*S_1)*S_2,S_3=(not_bel(driver_accelerates):S_4)\/((bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_3,S_4=(bel(driver_accelerates):S_3)\/((not_bel(driver_accelerates):epsilon)\/(not_bel(driver_brakes):epsilon))*S_4\/(bel(driver_brakes):S_5),S_5=(not_bel(driver_brakes):S_4)\/((bel(driver_brakes):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_5,S_6=(not_bel(driver_accelerates):S_7)\/((bel(safe):epsilon)\/(bel(driver_accelerates):epsilon))*S_6,S_7=(bel(driver_accelerates):S_6)\/((not_bel(driver_acclerates):epsilon)\/(bel(safe):epsilon))*S_7\/(not_bel(safe):S_8),S_8=(bel(safe):S_7)\/((not_bel(safe):epsilon)\/(not_bel(driver_accelerates):epsilon))*S_8])