Compositional Rule of Inference