,A │{A#>2,A#<3}) :-
           <ul>
             <li> 
               2 #< A,
             </li>
             <li> 
               A #< 2+1.
             </li> 
         </ul> 
         </li> 
         <li> 
           not stoppedIn(2,light_on,A │{A#>2,A#<3}) :-
           <ul>
             <li> 
               not o_stoppedIn1(2,light_on,A │{A#>2,A#<3}) :-
               <ul>
                 <li> 
                   forall(K,forall(L,not o_stoppedIn1(2,light_on,A │{A#>2,A#<3},K,L))) :-
           