                        not terminates(I │{I\=turn_off},light_on,J │{J#=<0}) :-
                                                       <ul>
                                                         <li> 
                                                           not o_terminates1(I │{I\=turn_off},light_on,J │{J#=<0}) :-
                                                           <ul>
                                                             <li> 
                                                    