                                          <li> 
                                                               turn_off \= turn_on.
                                                             </li> 
                                                         </ul> 
                                                         </li> 
                                                         <li> 
                                                           not o_happens2(turn_off,J │{J#=<0}) :-
                     