   </ul> 
                     </li> 
                     <li> 
                       forall(L,not o_stoppedIn1(2,light_on,A │{A#>2,A#<3},O │{O#>2},L)) :-
                       <ul>
                         <li> 
                           not o_stoppedIn1(2,light_on,A │{A#>2,A#<3},O │{O#>2},P) :-
                           <ul>
                             <li> 
                               2 #< O,
                             </li>
                             <li> 
                          