Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events