[CL] Quantified sentences

[Pat Hayes]

Yes.

Pat

On Dec 2, 2009, at 8:06 AM, Cameron Ross wrote:

> Is the following valid CLIF:
>
> (forall () (a))
>
> Cameron.
> _______________________________________________
> CL mailing list
> CL at philebus.tamu.edu
> http://philebus.tamu.edu/mailman/listinfo/cl
>

------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes