In a message dated 9/23/2001 9:12:09 AM Central Daylight Time, a.rosta@dtn.ntl.com writes:
I haven't really been keeping up with this thread, partly because Sorry to have misrepresented you. But unfortunately, {ce'u} as a lambda variable is confinded to the limits of bridi fragment in this case: ^xg(x) is well-formed and takes precedence over ^xFg(x). which requires a separate form (put another way, the bridi fragment is a bridi, though not asserted -- but then none of the ones containing ce'u are asserted). |