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