                   </li> 
                                             </ul> 
                                             </li> 
                                             <li> 
                                               forall(D1,not o_c_holdsAt2(B │{B\=light_on},D │{D#>0},F │{F#=<0},D1)) :-
                                               <ul>
                                                 <li> 
                                                   not o_c_holdsAt2(B │{B\=light_on},D │{D#>0}