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