[SCL] Approach to a concrete syntax

[pat hayes]

>[sorry -- the previous message had a syntax error that would make it
>difficult to understand my point, that of elements or attributes like
><variable> being declared only on "predicates" like <quantifier>,
>not on all predicates.]

Right, but thats because a quantifier is not a predicate.

Pat


-- 
---------------------------------------------------------------------
IHMC					(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola              			(850)202 4440   fax
FL 32501           				(850)291 0667    cell
phayes at ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam at ai.uwf.edu   for spam