TOBI - An Ontological Based Interpreter for Temporal Presuppositions and Counterfactuals