- From: Dan Connolly <connolly@w3.org>
- Date: Sun, 22 Apr 2007 21:14:16 -0500
- To: Pat Hayes <phayes@ihmc.us>
- Cc: hhalpin@ibiblio.org, www-archive@w3.org
On Sun, 2007-04-22 at 16:33 -0400, Pat Hayes wrote: > >Dan Connolly wrote: > >> http://www.w3.org/2000/10/swap/n3absyn.py [...] > So, here's how to write the above example: > > (forall (a b)(if (and (a)(b)) ((that (and (a)(b)) )) )) > ... See? Ah... yes, I see now. Hmm. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/ D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29E
Received on Monday, 23 April 2007 02:14:19 UTC