                                                </li>
                                                     <li> 
                                                       not happens(turn_off,J │{J#=<0}) :-
                                                       <ul>
                                                         <li> 
                                                           not o_happens1(turn_off,J │{J#=<0}) :-
                                                           <ul>
                   