                                                not o_c_holdsAt2(light_on,H │{H#>0},J │{J#=<0},turn_off) :-
                                                   <ul>
                                                     <li> 
                                                       J #< H,
                                                     </li>
                                                     <li> 
                                                       terminates(turn_off,light_on,J │{J#=<0}),
     