                         </li> 
                                     </ul> 
                                     </li> 
                                 </ul> 
                                 </li> 
                             </ul> 
                             </li> 
                             <li> 
                               not o__chk11(light_on,H │{H#>0}) :-
                               <ul>
                                 <li> 
                                   not -holdsAt(light_on,H �