t_on,J │{J#=<0}) ,  terminates(turn_off,light_on,J │{J#=<0}) ,  not happens(turn_off,J │{J#=<0})

<br><br>
<h3> Justification <button onclick="expand()">Expand All</button><button onclick="collapse()">Collapse All</button></h3>
 <ul class="tree">
     <li> 
       holdsAt(light_red,A │{A#>2,A#<3}) :-
       <ul>
         <li> 
           initiates(turn_on,light_on,2),
         </li>
         <li> 
           happens(turn_on,2),
         </li>
         <li> 
           trajectory(light_on,2,light_red