                 </li> 
                             <li> 
                               not o__chk11(B │{B\=light_on},D │{D#>0}) :-
                               <ul>
                                 <li> 
                                   not -holdsAt(B │{B\=light_on},D │{D#>0}) :-
                                   <ul>
                                     <li> 
                                       not o_c_holdsAt1(B │{B\=light_on},D │{D#>0}) :-
                                       <ul