�{H#>0}) :-
                                   <ul>
                                     <li> 
                                       not o_c_holdsAt1(light_on,H │{H#>0}) :-
                                       <ul>
                                         <li> 
                                           0 #< H,
                                         </li>
                                         <li> 
                                           not initiallyN(light_on).
                               