On Tue, Jul 10, 2012 at 09:56:26AM +0200, Alexander Burger wrote:
>    (be bigger (@x @y) (isbigger @x @z) (isbigger @z @y))

No, I think the last rule must be

>    (be bigger (@x @y) (isbigger @x @z) (bigger @z @y))

Cheers,
- Alex
-- 
UNSUBSCRIBE: mailto:[email protected]?subject=Unsubscribe

Reply via email to