Pointwise-in-Time Explanation for Linear Temporal Logic Rules