A Semantics for Contextual Reasoning: Theory and Two Relevant Applications