Deletion and logical form by Ivan A. Sag