Towards recursive models - A computational tool for the semantics of temporal presuppositions and counterfactuals in natural language