        <ul>
                     <li> 
                       forall(L,not o_stoppedIn1(2,light_on,A │{A#>2,A#<3},M │{M#=<2},L)) :-
                       <ul>
                         <li> 
                           not o_stoppedIn1(2,light_on,A │{A#>2,A#<3},M │{M#=<2},N) :-
                           <ul>
                             <li> 
                               2 #>= M.
                             </li> 
                         </ul> 
                         </li> 
                  