/* Trolley problem with no bad effect (Paul): Obligatory */directly_causes(throw_switch, switch_train).directly_causes(hitting(5), killing(5)).directly_prevents(switch_train, hitting(5)).is_goal(prevention_of(killing(5))).