Re: N3->IKL translation seems to work... bug policy rules and log:includes are hairy

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 Message-Id: <1177294457.9528.6.camel@dirk> · This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 July 2008 08:10:01 GMT

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