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

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