��{B\=light_on},C │{C#=<0},A1,Z)) :-
                                               <ul>
                                                 <li> 
                                                   not o_c_holdsAt2(B │{B\=light_on},C │{C#=<0},A1,B1) :-
                                                   <ul>
                                                     <li> 
                                                       A1 #>= C.
                                                     </li> 
                