      <ul>
                                                 <li> 
                                                   not o_c_holdsAt2(B │{B\=light_on},D │{D#>0},E1 │{E1#>0},F1) :-
                                                   <ul>
                                                     <li> 
                                                       E1 #>= D.
                                                     </li> 
                                                 </ul> 
                              