Also, since r is conditionally independent of Ψ q given ¬q, we have P(r |¬q, Ψ r , Ψ q ) = P(r | ¬q, Ψ r ).
we can simplify:  Expanding and simplifying, we establish our Theorem 1: In this section, we evaluate our refinement framework on the temporal precedence relations discovered by VERBOCEAN, and present some observations on applying the refinement to other VERBOCEAN relations.