                 forall(X,not o__chk11(light_on,X)) :-
                           <ul>
                             <li> 
                               not o__chk11(light_on,G │{G#=<0}) :-
                               <ul>
                                 <li> 
                                   not -holdsAt(light_on,G │{G#=<0}) :-
                                   <ul>
                                     <li> 
                                       not o_c_holdsAt1(light_on,G │{G#=<0}) :-
      