From pcliffje@crl.com Thu Feb  9 17:55:48 1995
Date: Thu, 9 Feb 1995 14:55:19 -0800 (PST)
From: "John E. Clifford" <pcliffje@crl.com>
Subject: Re: Proposals and overload (response to something Jorge said)
Message-Id: <Pine.SUN.3.91.950209145027.11398B-100000@crl5.crl.com>

I do think that _xo'u_ is more or less settled, except for how to lex it 
and whether it really goes to the front of the highest prenex.  OkAay, so 
the principle of afterrthouought quantifiers looks agreed to, just not 
all the details.  I think the same could be said for the subject raiser 
as opacity marker and the deopacifier (also some xV'V at the moment).
pc>|83