     O #>= A.
                             </li> 
                         </ul> 
                         </li> 
                     </ul> 
                     </li> 
                 </ul> 
                 </li> 
             </ul> 
             </li> 
             <li> 
               not o_stoppedIn2(2,light_on,A │{A#>2,A#<3}) :-
               <ul>
                 <li> 
                   forall(Q,forall(R,not o_stoppedIn2(2,light_on,A │{A#>2,A#<3},Q,R))) :-
                   <ul>
            