Local satisfaction guaranteed: A presupposition theory and its problems · Study