Title: A default logic approach to the derivation of natural language presuppositions