- From: Gary Hallmark <gary.hallmark@oracle.com>
- Date: Thu, 14 Jun 2007 12:21:55 -0700
- To: RIF WG <public-rif-wg@w3.org>
Christian de Sainte Marie wrote: > > ...your proposal, like the current abstract syntax and other > alternatives I considered, forces an Implies to be wrapped in a Forall > > Seems like a pretty good idea, unless you are really anticipating a lot of ground implications :). It's about as much syntactic guidance as a context free grammar can give us. -- Oracle <http://www.oracle.com> Gary Hallmark | Architect | +1.503.525.8043 Oracle Server Technologies 1211 SW 5th Avenue, Suite 800 Portland, OR 97204
Received on Thursday, 14 June 2007 19:22:50 UTC