From cce52f3646445a6ee99183d97cc0ee948bb495aa Mon Sep 17 00:00:00 2001 From: krasimir Date: Tue, 21 Sep 2010 18:38:06 +0000 Subject: [PATCH] fixes in Basic.gf to avoid loops in the reasoner --- examples/SUMO/Basic.gf | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/examples/SUMO/Basic.gf b/examples/SUMO/Basic.gf index f5962d43e..19ad57054 100644 --- a/examples/SUMO/Basic.gf +++ b/examples/SUMO/Basic.gf @@ -30,8 +30,8 @@ data inhs : (c1, c2, c3 : Class) -> SubClass c1 c2 -> Inherits c2 c3 -> Inherits c1 c3; -- (both c1 c2) is subclass of c1 and of c2 - bothL : (c1, c2 : Class) -> Inherits (both c1 c2) c1 ; - bothR : (c1, c2 : Class) -> Inherits (both c1 c2) c2 ; + bothL : (c1, c2 : Class) -> SubClass (both c1 c2) c1 ; + bothR : (c1, c2 : Class) -> SubClass (both c1 c2) c2 ; -- relationship with other subclasses bothC : (c1, c2, c3 : Class) -> Inherits c3 c1 -> Inherits c3 c2 -> Inherits c3 (both c1 c2); @@ -41,7 +41,7 @@ data eitherR : (c1, c2 : Class) -> Inherits c2 (either c1 c2); -- relationship with other subclasses - eitherC : (c1,c2,c3 : Class) -> Inherits c1 c3 -> Inherits c2 c3 -> Inherits (either c1 c2) c3 ; + eitherC : (c1,c2,c3 : Class) -> SubClass c1 c3 -> SubClass c2 c3 -> SubClass (either c1 c2) c3 ; -- sub-class axiom for KappaFn kappa : (c : Class) -> (p : Var c -> Formula) -> Inherits (KappaFn c p) c ;