definition of contextual causality

Just the definition of the inference rules and a simple lemma for sanity
checking.  The proof that contextual causality implies semantic
causality is still missing.