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