Reniers, F. R. The Scope of Indefinites; A Deductive Account. Proceedings of the AC 1997, 253-258.