 <ul>
                                                         <li> 
                                                           not o_terminates1(E │{E\=turn_off},B │{B\=light_on},F │{F#=<0}) :-
                                                           <ul>
                                                             <li> 
                                                               E \= turn_off.
                                                             </li> 
                                  