<<1>> P>=0.9 [!"crash" U ("robot_goal" | "human_goal" | dl) ]