|
>>> tests = [
... ('exists x. robber(x)', m1, g1, True),
... ('exists x. exists y. love(y, x)', m1, g1, True),
... ('exists x0. exists x1. love(x1, x0)', m2, g2, False),
... ('all x. all y. love(y, x)', m2, g2, False),
... ('- (all x. all y. love(y, x))', m2, g2, True),
... ('all x. all y. - love(y, x)', m2, g2, True),
... ('yolanda = honey_bunny', m2, g2, True),
... ('mia = honey_bunny', m2, g2, 'Undefined'),
... ('- (yolanda = honey_bunny)', m2, g2, False),
... ('- (mia = honey_bunny)', m2, g2, 'Undefined'),
... ('all x. (robber(x) | customer(x))', m2, g2, True),
... ('- (all x. (robber(x) | customer(x)))', m2, g2, False),
... ('(robber(x) | customer(x))', m2, g2, 'Undefined'),
... ('(robber(y) | customer(y))', m2, g21, True),
... ('exists x. (man(x) & exists x. woman(x))', m3, g3, True),
... ('exists x. (man(x) & exists x. woman(x))', m3, g3, True),
... ('- exists x. woman(x)', m3, g3, False),
... ('exists x. (tasty(x) & burger(x))', m3, g3, 'Undefined'),
... ('- exists x. (tasty(x) & burger(x))', m3, g3, 'Undefined'),
... ('exists x. (man(x) & - exists y. woman(y))', m3, g3, False),
... ('exists x. (man(x) & - exists x. woman(x))', m3, g3, False),
... ('exists x. (woman(x) & - exists x. customer(x))', m2, g2, 'Undefined'),
... ]
|