[Jdrew-all] Negation revisited

[Wahlau -]

Hi guys,

have found Jing Mei's work in the website, and tried out the Naf with
oojdrew. In pricinple it works, but after playing around, the negation
takes place no matter any value the fact special carries (i am
refering to the given example). Is that normal? my understanding is,
if both onsale and special equals to clothes, then Naf should be
effective, while if i have onsale = clothes and special = shoes, i
will still get the same answer as special = clothes.

perhaps i have got something wrong here...

btw, does oojdrew supports <Or> in <Implies> anyhow? i have checked
through my best, and think oojdrew supports only <And>, <Atom> and
<Naf>.

thanks...

regards,
SianLun

--
===================== : : : ---
normal reply to wahlau at gmail.com
urgent reply to slau at wahlau.org
--- : : : ======================