                            <li> 
                                       not o_c_holdsAt2(B │{B\=light_on},C │{C#=<0}) :-
                                       <ul>
                                         <li> 
                                           forall(Y,forall(Z,not o_c_holdsAt2(B │{B\=light_on},C │{C#=<0},Y,Z))) :-
                                           <ul>
                                             <li> 
                                               forall(Z,not o_c_holdsAt2(B �