[SCL] [CL] Quantifying over propositions

[John F. Sowa]

Bill,

Oh!  In other words, Pat was using brackets
as a method of quoting:

 > (forall (p) (implies (believes john p) (= p [round earth])))

Then we're in agreement.  I always insisted that we need
at least a quote and preferably a backquote, as in KIF.

I misunderstood Pat's form [p] as a suggestion for
marking the quantifier.  If it's a notation for quoting
then I have no objections.  But does it also allow
the option of letting the variables in p be quantified
outside the brackets?

John