{'fraction_non_alphanumeric': 0.017152658662092625, 'fraction_numerical': 0.0, 'mean_word_length': 5.561797752808989, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Presupposition and Abduction in Type

This paper is about reasoning with presuppositions in natural language. Pre-supposition accommodation, as predicted by the linguistic theory of presupposi-tions as anaphoric expressions, is reconstructed logically as abductive inference in a framework that supports both anaphoric links and a context-dependent notion of propositionhood. Abductive inference arises as a side-eeect of the use of the formalism and of characteristics of the communication situation. The proposal is illustrated by some examples and compared to related approaches .