Enter a filename: ~alammert/algorithm/master.demo File /home/visitor/alammert/algorithm/master.demo is now the source of input. The demo will pause between commands, at that time press RETURN to continue, or ? to see a list of available commands CPU time : 0.03 * ;;;make sure that "algo.cl" has been loaded at the lisp prompt ;;;Welcome to the master demo about the adjective algorithm. ;;;What information can potentially be retrieved from ;;;context about a given adjective? ;;;Let's give SNePS something to think about first. ;;;After that, we can see what information the algorithm picks up for us. (resetnet); --- pause --- Net reset - Relations and paths are still defined CPU time : 0.02 * (define arg arg1 arg2 wrt1 wrt2 rel property proper-name object possessor lex cause cause1 cause2 effect object1 object2 act action frequency mod head equiv member class); --- pause --- (arg arg1 arg2 wrt1 wrt2 rel property proper-name object possessor lex cause cause1 cause2 effect object1 object2 act action frequency mod head equiv membe\ r class) CPU time : 0.01 * ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;\ ; ;;;"If two objects, x and y, are unlike with respect to x being r and ;;;y being s (r and s properties), then any object that is r cannot ;;;also be s. (describe (add forall ($x $y $r $s) ant (build arg1 *x rel (build lex "unlike") arg2 *y wrt1 (build object *x property *r) wrt2 (build object *y property *s)) cq (build forall $z ant (build object *z property *r) cq (build max 0 min 0 arg(build object *z property *s))))); --- pause --- I wonder if ((p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property v3))) (wrt2 (p2 (object v2) (property v4))))) holds within the BS defined by context default-defaultct (m2! (forall v4 v3 v2 v1) (ant (p3 (arg1 v1) (arg2 v2) (rel (m1 (lex unlike))) (wrt1 (p1 (object v1) (property v3))) (wrt2 (p2 (object v2) (property v4))))\ ) (cq (p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4)))))))) (m2!) CPU time : 0.03 * ;;;"If two objects, x and y, are unlike with respect to x being r and ;;;y being s (r and s properties), then any object that is s cannot ;;;also be r. (describe (add forall ($x $y $r $s) ant (build arg1 *x rel (build lex "unlike") arg2 *y wrt1 (build object *x property *r) wrt2 (build object *y property *s)) cq (build forall $z ant (build object *z property *s) cq (build max 0 min 0 arg(build object *z property *r))))); --- pause --- I wonder if ((p10 (arg1 v6) (arg2 v7) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object v6) (property v8))) (wrt2 (p9 (object v7) (property v9))))) holds within the BS defined by context default-defaultct (m3! (forall v9 v8 v7 v6) (ant (p10 (arg1 v6) (arg2 v7) (rel (m1 (lex unlike))) (wrt1 (p8 (object v6) (property v8))) (wrt2 (p9 (object v7) (property v9))))\ ) (cq (p14 (forall v10) (ant (p11 (object v10) (property v9))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property v8)))))))) (m3!) CPU time : 0.11 * ;;;If an object x is r (a property), and consequently cannot be s, and ;;;s is a member of class k, then r must also be a member of class k. (describe (add forall ($x $r $s $k) &ant ((build ant (build object *x property *r) cq (build max 0 min 0 arg(build object *x property *s))) (build member *s class *k)) cq (build member *r class *k))); --- pause --- I wonder if ((p19 (class v14) (member v13))) holds within the BS defined by context default-defaultct I wonder if ((p18 (ant (p15 (object v11) (property v12))) (cq (p17 (min 0) (max 0) (arg (p16 (object v11) (property v13))))))) holds within the BS defined by context default-defaultct (m4! (forall v14 v13 v12 v11) (&ant (p19 (class v14) (member v13)) (p18 (ant (p15 (object v11) (property v12))) (cq (p17 (min 0) (max 0) (arg (p16 (object v11) (property v13))))))) (cq (p20 (class v14) (member v12)))) (m4!) CPU time : 0.03 * ;;;If an object x is r (a property), and consequently cannot be s, and ;;;r is a member of class k, then s must also be a member of class k. (describe (add forall ($x $r $s $k) &ant ((build ant (build object *x property *r) cq (build max 0 min 0 arg(build object *x property *s))) (build member *r class *k)) cq (build member *s class *k))); --- pause --- I wonder if ((p25 (class v18) (member v16))) holds within the BS defined by context default-defaultct I wonder if ((p24 (ant (p21 (object v15) (property v16))) (cq (p23 (min 0) (max 0) (arg (p22 (object v15) (property v17))))))) holds within the BS defined by context default-defaultct (m5! (forall v18 v17 v16 v15) (&ant (p25 (class v18) (member v16)) (p24 (ant (p21 (object v15) (property v16))) (cq (p23 (min 0) (max 0) (arg (p22 (object v15) (property v17))))))) (cq (p26 (class v18) (member v17)))) (m5!) CPU time : 0.03 * ;;;An object exists, that is named Fred. (describe (add object #Fred proper-name (build lex "Fred"))); --- pause --- (m7! (object b1) (proper-name (m6 (lex Fred)))) (m7!) CPU time : 0.01 * ;;;Fred is a member of the class People. (describe (add member #Fred class (build lex "People"))); --- pause --- (m9! (class (m8 (lex People))) (member b2)) (m9!) CPU time : 0.01 * ;;;Fred has brothers. (describe (add possessor *Fred rel (build lex "brothers") object #brothers)); --- pause --- (m11! (object b3) (possessor b2) (rel (m10 (lex brothers)))) (m11!) CPU time : 0.02 * ;;;Fred is taciturn. (describe (add object *Fred property (build lex "taciturn"))); --- pause --- I wonder if ((p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property (v3 <-- m12)))) (wrt2 (p2 (object v2) (property v4))))) holds within the BS defined by context default-defaultct I wonder if ((p10 (arg1 v6) (arg2 v7) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object v6) (property v8))) (wrt2 (p9 (object v7) (property (v9 <-- m12)))))) holds within the BS defined by context default-defaultct (m13! (object b2) (property (m12 (lex taciturn)))) (m13!) CPU time : 0.05 * ;;;Fred's brothers are noisy. (describe (add object *brothers property (build lex "noisy"))); --- pause --- I wonder if ((p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property (v3 <-- m14)))) (wrt2 (p2 (object v2) (property v4))))) holds within the BS defined by context default-defaultct I wonder if ((p10 (arg1 v6) (arg2 v7) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object v6) (property v8))) (wrt2 (p9 (object v7) (property (v9 <-- m14)))))) holds within the BS defined by context default-defaultct (m15! (object b3) (property (m14 (lex noisy)))) (m15!) CPU time : 0.10 * ;;;Noisy, like taciturn, is a member of the class of personality traits. (describe (add member (build lex "noisy") class (build lex "personality"))); --- pause --- (m17! (class (m16 (lex personality))) (member (m14 (lex noisy)))) (m17!) CPU time : 0.01 * ;;;Fred's brothers are talkative. (describe (add object *brothers property (build lex "talkative"))); --- pause --- I wonder if ((p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property (v3 <-- m19)))) (wrt2 (p2 (object v2) (property v4))))) holds within the BS defined by context default-defaultct I wonder if ((p10 (arg1 v6) (arg2 v7) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object v6) (property v8))) (wrt2 (p9 (object v7) (property (v9 <-- m19)))))) holds within the BS defined by context default-defaultct (m20! (object b3) (property (m19 (lex talkative)))) (m20!) CPU time : 0.10 * ;;;Talkative is also a member of the class of personality traits. (describe (add member (build lex "talkative") class (build lex "personality"))); --- pause --- (m21! (class (m14 (lex personality))) (member (m19 (lex talkative)))) (m21!) CPU time : 0.01 * ;;;Fred's brothers are outgoing. (describe (add object *brothers property (build lex "outgoing"))); --- pause --- I wonder if ((p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property (v3 <-- m22)))) (wrt2 (p2 (object v2) (property v4))))) holds within the BS defined by context default-defaultct I wonder if ((p10 (arg1 v6) (arg2 v7) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object v6) (property v8))) (wrt2 (p9 (object v7) (property (v9 <-- m22)))))) holds within the BS defined by context default-defaultct (m23! (object b3) (property (m22 (lex outgoing)))) (m23!) CPU time : 0.07 * ;;;Outgoing, in addition, is a member of the class of personalities. (describe (add member (build lex "outgoing") class (build lex "personality"))); --- pause --- (m24! (class (m14 (lex personality))) (member (m22 (lex outgoing)))) (m24!) CPU time : 0.02 * ;;;Fred is unlike is brothers, with respect to Fred being taciturn ;;;and his brothers being noisy. (describe (add arg1 *Fred arg2 *brothers rel (build lex "unlike") wrt1 (find object *Fred property (find lex "taciturn")) wrt2 (find object *brothers property (find lex "noisy")))); --- pause --- Since ((m2! (forall v4 v3 v2 v1) (ant (p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property v3))) (wrt2 (p2 (object v2) (property v4)\ )))) (cq (p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))))) and ((p3 (arg1 (v1 <-- b2)) (arg2 (v2 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object (v1 <-- b2)) (property (v3 <-- m12)))) (wrt2 (p2 (object (v2 <-- b3)) (property (v4 <-- m16)))))) I infer ((p7 (forall v5) (ant (p4 (object v5) (property (v3 <-- m12)))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property (v4 <-- m16)))))))) Since ((m2! (forall v4 v3 v2 v1) (ant (p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property v3))) (wrt2 (p2 (object v2) (property v4)\ )))) (cq (p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))))) and ((p3 (arg1 (v1 <-- b2)) (arg2 (v2 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object (v1 <-- b2)) (property (v3 <-- m12)))) (wrt2 (p2 (object (v2 <-- b3)) (property (v4 <-- m16)))))) I infer ((p7 (forall v5) (ant (p4 (object v5) (property (v3 <-- m12)))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property (v4 <-- m16)))))))) Since ((m3! (forall v9 v8 v7 v6) (ant (p10 (arg1 v6) (arg2 v7) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object v6) (property v8))) (wrt2 (p9 (object v7) (property v9)\ )))) (cq (p14 (forall v10) (ant (p11 (object v10) (property v9))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property v8))))))))) and ((p10 (arg1 (v6 <-- b2)) (arg2 (v7 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object (v6 <-- b2)) (property (v8 <-- m12)))) (wrt2 (p9 (object (v7 <-- b3)) (property (v9 <-- m16)))))) I infer ((p14 (forall v10) (ant (p11 (object v10) (property (v9 <-- m16)))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property (v8 <-- m12))))))\ )) Since ((m3! (forall v9 v8 v7 v6) (ant (p10 (arg1 v6) (arg2 v7) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object v6) (property v8))) (wrt2 (p9 (object v7) (property v9)\ )))) (cq (p14 (forall v10) (ant (p11 (object v10) (property v9))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property v8))))))))) and ((p10 (arg1 (v6 <-- b2)) (arg2 (v7 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object (v6 <-- b2)) (property (v8 <-- m12)))) (wrt2 (p9 (object (v7 <-- b3)) (property (v9 <-- m16)))))) I infer ((p14 (forall v10) (ant (p11 (object v10) (property (v9 <-- m16)))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property (v8 <-- m12))))))\ )) Since ((m2! (forall v4 v3 v2 v1) (ant (p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property v3))) (wrt2 (p2 (object v2) (property v4)\ )))) (cq (p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))))) and ((p3 (arg1 (v1 <-- b2)) (arg2 (v2 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object (v1 <-- b2)) (property (v3 <-- m12)))) (wrt2 (p2 (object (v2 <-- b3)) (property (v4 <-- m16)))))) I infer ((p7 (forall v5) (ant (p4 (object v5) (property (v3 <-- m12)))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property (v4 <-- m16)))))))) Since ((m2! (forall v4 v3 v2 v1) (ant (p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property v3))) (wrt2 (p2 (object v2) (property v4)\ )))) (cq (p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))))) and ((p3 (arg1 (v1 <-- b2)) (arg2 (v2 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object (v1 <-- b2)) (property (v3 <-- m12)))) (wrt2 (p2 (object (v2 <-- b3)) (property (v4 <-- m16)))))) I infer ((p7 (forall v5) (ant (p4 (object v5) (property (v3 <-- m12)))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property (v4 <-- m16)))))))) Since ((m5! (forall (v18 <-- m14) (v17 <-- m16) (v16 <-- m12) (v15 <-- v5)) (&ant (p25 (class (v18 <-- m14)) (member (v16 <-- m12))) (p24 (ant (p21 (object (v15 <-- v5)) (property (v16 <-- m12)))) (cq (p23 (min 0) (max 0) (arg (p22 (object (v15 <-- v5)) (property (v17 <-- m16)))))))) (cq (p26 (class (v18 <-- m14)) (member (v17 <-- m16)))))) and ((p25 (class (v18 <-- m14)) (member (v16 <-- m12)))) and ((p24 (ant (p21 (object (v15 <-- v5)) (property (v16 <-- m12)))) (cq (p23 (min 0) (max 0) (arg (p22 (object (v15 <-- v5)) (property (v17 <-- m16)))))))) I infer ((p26 (class (v18 <-- m14)) (member (v17 <-- m16)))) Since ((m5! (forall (v18 <-- m14) (v17 <-- m12) (v16 <-- m16) (v15 <-- v10)) (&ant (p25 (class (v18 <-- m14)) (member (v16 <-- m16))) (p24 (ant (p21 (object (v15 <-- v10)) (property (v16 <-- m16)))) (cq (p23 (min 0) (max 0) (arg (p22 (object (v15 <-- v10)) (property (v17 <-- m12)))))))) (cq (p26 (class (v18 <-- m14)) (member (v17 <-- m12)))))) and ((p25 (class (v18 <-- m14)) (member (v16 <-- m16)))) and ((p24 (ant (p21 (object (v15 <-- v10)) (property (v16 <-- m16)))) (cq (p23 (min 0) (max 0) (arg (p22 (object (v15 <-- v10)) (property (v17 <-- m12)))))))) I infer ((p26 (class (v18 <-- m14)) (member (v17 <-- m12)))) Since ((m4! (forall (v14 <-- m14) (v13 <-- m16) (v12 <-- m12) (v11 <-- v5)) (&ant (p19 (class (v14 <-- m14)) (member (v13 <-- m16))) (p18 (ant (p15 (object (v11 <-- v5)) (property (v12 <-- m12)))) (cq (p17 (min 0) (max 0) (arg (p16 (object (v11 <-- v5)) (property (v13 <-- m16)))))))) (cq (p20 (class (v14 <-- m14)) (member (v12 <-- m12)))))) and ((p19 (class (v14 <-- m14)) (member (v13 <-- m16)))) and ((p18 (ant (p15 (object (v11 <-- v5)) (property (v12 <-- m12)))) (cq (p17 (min 0) (max 0) (arg (p16 (object (v11 <-- v5)) (property (v13 <-- m16)))))))) I infer ((p20 (class (v14 <-- m14)) (member (v12 <-- m12)))) Since ((m4! (forall (v14 <-- m14) (v13 <-- m12) (v12 <-- m16) (v11 <-- v10)) (&ant (p19 (class (v14 <-- m14)) (member (v13 <-- m12))) (p18 (ant (p15 (object (v11 <-- v10)) (property (v12 <-- m16)))) (cq (p17 (min 0) (max 0) (arg (p16 (object (v11 <-- v10)) (property (v13 <-- m12)))))))) (cq (p20 (class (v14 <-- m14)) (member (v12 <-- m16)))))) and ((p19 (class (v14 <-- m14)) (member (v13 <-- m12)))) and ((p18 (ant (p15 (object (v11 <-- v10)) (property (v12 <-- m16)))) (cq (p17 (min 0) (max 0) (arg (p16 (object (v11 <-- v10)) (property (v13 <-- m12)))))))) I infer ((p20 (class (v14 <-- m14)) (member (v12 <-- m16)))) Since ((p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))) and ((p4 (object (v5 <-- b2)) (property (v3 <-- m12)))) I infer ((p6 (min 0) (max 0) (arg (p5 (object (v5 <-- b2)) (property (v4 <-- m16)))))\ ) Since ((p14 (forall v10) (ant (p11 (object v10) (property v9))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property v8))))))) and ((p11 (object (v10 <-- b3)) (property (v9 <-- m16)))) I infer ((p13 (min 0) (max 0) (arg (p12 (object (v10 <-- b3)) (property (v8 <-- m12))\ )))) I wonder if ((p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property v3))) (wrt2 (p2 (object v2) (property (v4 <-- m16)))))) holds within the BS defined by context default-defaultct Since ((m2! (forall v4 v3 v2 v1) (ant (p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property v3))) (wrt2 (p2 (object v2) (property v4)\ )))) (cq (p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))))) and ((p3 (arg1 (v1 <-- b2)) (arg2 (v2 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object (v1 <-- b2)) (property (v3 <-- m12)))) (wrt2 (p2 (object (v2 <-- b3)) (property (v4 <-- m16)))))) I infer ((p7 (forall v5) (ant (p4 (object v5) (property (v3 <-- m12)))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property (v4 <-- m16)))))))) I wonder if ((p10 (arg1 v6) (arg2 v7) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object v6) (property (v8 <-- m12)))) (wrt2 (p9 (object v7) (property v9))))) holds within the BS defined by context default-defaultct Since ((m3! (forall v9 v8 v7 v6) (ant (p10 (arg1 v6) (arg2 v7) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object v6) (property v8))) (wrt2 (p9 (object v7) (property v9)\ )))) (cq (p14 (forall v10) (ant (p11 (object v10) (property v9))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property v8))))))))) and ((p10 (arg1 (v6 <-- b2)) (arg2 (v7 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object (v6 <-- b2)) (property (v8 <-- m12)))) (wrt2 (p9 (object (v7 <-- b3)) (property (v9 <-- m16)))))) I infer ((p14 (forall v10) (ant (p11 (object v10) (property (v9 <-- m16)))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property (v8 <-- m12))))))\ )) Since ((m3! (forall v9 v8 v7 v6) (ant (p10 (arg1 v6) (arg2 v7) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object v6) (property v8))) (wrt2 (p9 (object v7) (property v9)\ )))) (cq (p14 (forall v10) (ant (p11 (object v10) (property v9))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property v8))))))))) and ((p10 (arg1 (v6 <-- b2)) (arg2 (v7 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object (v6 <-- b2)) (property (v8 <-- m12)))) (wrt2 (p9 (object (v7 <-- b3)) (property (v9 <-- m16)))))) I infer ((p14 (forall v10) (ant (p11 (object v10) (property (v9 <-- m16)))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property (v8 <-- m12))))))\ )) Since ((m3! (forall v9 v8 v7 v6) (ant (p10 (arg1 v6) (arg2 v7) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object v6) (property v8))) (wrt2 (p9 (object v7) (property v9)\ )))) (cq (p14 (forall v10) (ant (p11 (object v10) (property v9))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property v8))))))))) and ((p10 (arg1 (v6 <-- b2)) (arg2 (v7 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object (v6 <-- b2)) (property (v8 <-- m12)))) (wrt2 (p9 (object (v7 <-- b3)) (property (v9 <-- m16)))))) I infer ((p14 (forall v10) (ant (p11 (object v10) (property (v9 <-- m16)))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property (v8 <-- m12))))))\ )) I know ((m25! (arg1 (b2)) (arg2 (b3)) (rel (m1 (lex (unlike)))) (wrt1 (m13! (object (b2)) (property (m12 (lex (taciturn)))))) (wrt2 (m17! (object (b3)) (property (m16 (lex (noisy)))))))) (m31! (min 0) (max 0) (arg (m30 (object b3) (property (m12 (lex taciturn)))))\ ) (m29! (min 0) (max 0) (arg (m28 (object b2) (property (m16 (lex noisy)))))) (p66! (ant (p62 (object v10) (property (m16)))) (cq (p64 (min 0) (max 0) (arg (p63 (object v10) (property (m12))))))) (p65! (ant (p59 (object v5) (property (m12)))) (cq (p61 (min 0) (max 0) (arg (p60 (object v5) (property (m16))))))) (m27! (forall v10) (ant (p62)) (cq (p64))) (m26! (forall v5) (ant (p59)) (cq (p61))) (m25! (arg1 b2) (arg2 b3) (rel (m1 (lex unlike))) (wrt1 (m13! (object b2) (property (m12)))) (wrt2 (m17! (object b3) (property (m16))))) (m18! (class (m14 (lex personality))) (member (m16))) (m15! (class (m14)) (member (m12))) (m31! m29! p66! p65! m27! m26! m25! m18! m15!) CPU time : 0.29 * ;;;Fred is unlike is brothers, with respect to Fred being taciturn ;;;and his brothers being outgoing. (describe (add arg1 *Fred arg2 *brothers rel (build lex "unlike") wrt1 (find object *Fred property (find lex "taciturn")) wrt2 (find object *brothers property (find lex "outgoing")))); --- pause --- Since ((m2! (forall v4 v3 v2 v1) (ant (p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property v3))) (wrt2 (p2 (object v2) (property v4)\ )))) (cq (p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))))) and ((p3 (arg1 (v1 <-- b2)) (arg2 (v2 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object (v1 <-- b2)) (property (v3 <-- m12)))) (wrt2 (p2 (object (v2 <-- b3)) (property (v4 <-- m22)))))) I infer ((p7 (forall v5) (ant (p4 (object v5) (property (v3 <-- m12)))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property (v4 <-- m22)))))))) Since ((m2! (forall v4 v3 v2 v1) (ant (p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property v3))) (wrt2 (p2 (object v2) (property v4)\ )))) (cq (p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))))) and ((p3 (arg1 (v1 <-- b2)) (arg2 (v2 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object (v1 <-- b2)) (property (v3 <-- m12)))) (wrt2 (p2 (object (v2 <-- b3)) (property (v4 <-- m22)))))) I infer ((p7 (forall v5) (ant (p4 (object v5) (property (v3 <-- m12)))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property (v4 <-- m22)))))))) Since ((m3! (forall v9 v8 v7 v6) (ant (p10 (arg1 v6) (arg2 v7) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object v6) (property v8))) (wrt2 (p9 (object v7) (property v9)\ )))) (cq (p14 (forall v10) (ant (p11 (object v10) (property v9))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property v8))))))))) and ((p10 (arg1 (v6 <-- b2)) (arg2 (v7 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object (v6 <-- b2)) (property (v8 <-- m12)))) (wrt2 (p9 (object (v7 <-- b3)) (property (v9 <-- m22)))))) I infer ((p14 (forall v10) (ant (p11 (object v10) (property (v9 <-- m22)))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property (v8 <-- m12))))))\ )) Since ((m3! (forall v9 v8 v7 v6) (ant (p10 (arg1 v6) (arg2 v7) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object v6) (property v8))) (wrt2 (p9 (object v7) (property v9)\ )))) (cq (p14 (forall v10) (ant (p11 (object v10) (property v9))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property v8))))))))) and ((p10 (arg1 (v6 <-- b2)) (arg2 (v7 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object (v6 <-- b2)) (property (v8 <-- m12)))) (wrt2 (p9 (object (v7 <-- b3)) (property (v9 <-- m22)))))) I infer ((p14 (forall v10) (ant (p11 (object v10) (property (v9 <-- m22)))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property (v8 <-- m12))))))\ )) Since ((m3! (forall v9 v8 v7 v6) (ant (p10 (arg1 v6) (arg2 v7) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object v6) (property v8))) (wrt2 (p9 (object v7) (property v9)\ )))) (cq (p14 (forall v10) (ant (p11 (object v10) (property v9))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property v8))))))))) and ((p10 (arg1 (v6 <-- b2)) (arg2 (v7 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object (v6 <-- b2)) (property (v8 <-- m12)))) (wrt2 (p9 (object (v7 <-- b3)) (property (v9 <-- m22)))))) I infer ((p14 (forall v10) (ant (p11 (object v10) (property (v9 <-- m22)))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property (v8 <-- m12))))))\ )) Since ((m2! (forall v4 v3 v2 v1) (ant (p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property v3))) (wrt2 (p2 (object v2) (property v4)\ )))) (cq (p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))))) and ((p3 (arg1 (v1 <-- b2)) (arg2 (v2 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object (v1 <-- b2)) (property (v3 <-- m12)))) (wrt2 (p2 (object (v2 <-- b3)) (property (v4 <-- m22)))))) I infer ((p7 (forall v5) (ant (p4 (object v5) (property (v3 <-- m12)))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property (v4 <-- m22)))))))) Since ((m2! (forall v4 v3 v2 v1) (ant (p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property v3))) (wrt2 (p2 (object v2) (property v4)\ )))) (cq (p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))))) and ((p3 (arg1 (v1 <-- b2)) (arg2 (v2 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object (v1 <-- b2)) (property (v3 <-- m12)))) (wrt2 (p2 (object (v2 <-- b3)) (property (v4 <-- m22)))))) I infer ((p7 (forall v5) (ant (p4 (object v5) (property (v3 <-- m12)))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property (v4 <-- m22)))))))) Since ((m5! (forall (v18 <-- m14) (v17 <-- m12) (v16 <-- m22) (v15 <-- v10)) (&ant (p25 (class (v18 <-- m14)) (member (v16 <-- m22))) (p24 (ant (p21 (object (v15 <-- v10)) (property (v16 <-- m22)))) (cq (p23 (min 0) (max 0) (arg (p22 (object (v15 <-- v10)) (property (v17 <-- m12)))))))) (cq (p26 (class (v18 <-- m14)) (member (v17 <-- m12)))))) and ((p25 (class (v18 <-- m14)) (member (v16 <-- m22)))) and ((p24 (ant (p21 (object (v15 <-- v10)) (property (v16 <-- m22)))) (cq (p23 (min 0) (max 0) (arg (p22 (object (v15 <-- v10)) (property (v17 <-- m12)))))))) I infer ((p26 (class (v18 <-- m14)) (member (v17 <-- m12)))) Since ((m4! (forall (v14 <-- m14) (v13 <-- m22) (v12 <-- m12) (v11 <-- v5)) (&ant (p19 (class (v14 <-- m14)) (member (v13 <-- m22))) (p18 (ant (p15 (object (v11 <-- v5)) (property (v12 <-- m12)))) (cq (p17 (min 0) (max 0) (arg (p16 (object (v11 <-- v5)) (property (v13 <-- m22)))))))) (cq (p20 (class (v14 <-- m14)) (member (v12 <-- m12)))))) and ((p19 (class (v14 <-- m14)) (member (v13 <-- m22)))) and ((p18 (ant (p15 (object (v11 <-- v5)) (property (v12 <-- m12)))) (cq (p17 (min 0) (max 0) (arg (p16 (object (v11 <-- v5)) (property (v13 <-- m22)))))))) I infer ((p20 (class (v14 <-- m14)) (member (v12 <-- m12)))) Since ((p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))) and ((p4 (object (v5 <-- b2)) (property (v3 <-- m12)))) I infer ((p6 (min 0) (max 0) (arg (p5 (object (v5 <-- b2)) (property (v4 <-- m22)))))\ ) Since ((p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))) and ((p4 (object (v5 <-- b2)) (property (v3 <-- m12)))) I infer ((p6 (min 0) (max 0) (arg (p5 (object (v5 <-- b2)) (property (v4 <-- m16)))))\ ) Since ((p14 (forall v10) (ant (p11 (object v10) (property v9))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property v8))))))) and ((p11 (object (v10 <-- b3)) (property (v9 <-- m22)))) I infer ((p13 (min 0) (max 0) (arg (p12 (object (v10 <-- b3)) (property (v8 <-- m12))\ )))) Since ((p14 (forall v10) (ant (p11 (object v10) (property v9))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property v8))))))) and ((p11 (object (v10 <-- b3)) (property (v9 <-- m22)))) I infer ((p13 (min 0) (max 0) (arg (p12 (object (v10 <-- b3)) (property (v8 <-- m12))\ )))) I wonder if ((p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property v3))) (wrt2 (p2 (object v2) (property (v4 <-- m22)))))) holds within the BS defined by context default-defaultct Since ((m2! (forall v4 v3 v2 v1) (ant (p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property v3))) (wrt2 (p2 (object v2) (property v4)\ )))) (cq (p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))))) and ((p3 (arg1 (v1 <-- b2)) (arg2 (v2 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object (v1 <-- b2)) (property (v3 <-- m12)))) (wrt2 (p2 (object (v2 <-- b3)) (property (v4 <-- m22)))))) I infer ((p7 (forall v5) (ant (p4 (object v5) (property (v3 <-- m12)))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property (v4 <-- m22)))))))) I know ((m32! (arg1 (b2)) (arg2 (b3)) (rel (m1 (lex (unlike)))) (wrt1 (m13! (object (b2)) (property (m12 (lex (taciturn)))))) (wrt2 (m23! (object (b3)) (property (m22 (lex (outgoing)))))))) (m36! (min 0) (max 0) (arg (m35 (object b2) (property (m22 (lex outgoing)))))\ ) (p71! (ant (p69 (object v10) (property (m22)))) (cq (p64 (min 0) (max 0) (arg (p63 (object v10) (property (m12 (lex taciturn)))\ ))))) (p70! (ant (p59 (object v5) (property (m12)))) (cq (p68 (min 0) (max 0) (arg (p67 (object v5) (property (m22))))))) (m34! (forall v10) (ant (p69)) (cq (p64))) (m33! (forall v5) (ant (p59)) (cq (p68))) (m32! (arg1 b2) (arg2 b3) (rel (m1 (lex unlike))) (wrt1 (m13! (object b2) (property (m12)))) (wrt2 (m23! (object b3) (property (m22))))) (m31! (min 0) (max 0) (arg (m30 (object b3) (property (m12))))) (m24! (class (m14 (lex personality))) (member (m22))) (m15! (class (m14)) (member (m12))) (m36! p71! p70! m34! m33! m32! m31! m24! m15!) CPU time : 0.23 * ;;;Fred is unlike his brothers, with respect to Fred being taciturn ;;;and his brothers being talkative. (describe (add arg1 *Fred arg2 *brothers rel (build lex "unlike") wrt1 (find object *Fred property (find lex "taciturn")) wrt2 (find object *brothers property (find lex "talkative"))))\ ; --- pause --- Since ((m2! (forall v4 v3 v2 v1) (ant (p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property v3))) (wrt2 (p2 (object v2) (property v4)\ )))) (cq (p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))))) and ((p3 (arg1 (v1 <-- b2)) (arg2 (v2 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object (v1 <-- b2)) (property (v3 <-- m12)))) (wrt2 (p2 (object (v2 <-- b3)) (property (v4 <-- m19)))))) I infer ((p7 (forall v5) (ant (p4 (object v5) (property (v3 <-- m12)))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property (v4 <-- m19)))))))) Since ((m2! (forall v4 v3 v2 v1) (ant (p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property v3))) (wrt2 (p2 (object v2) (property v4)\ )))) (cq (p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))))) and ((p3 (arg1 (v1 <-- b2)) (arg2 (v2 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object (v1 <-- b2)) (property (v3 <-- m12)))) (wrt2 (p2 (object (v2 <-- b3)) (property (v4 <-- m19)))))) I infer ((p7 (forall v5) (ant (p4 (object v5) (property (v3 <-- m12)))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property (v4 <-- m19)))))))) Since ((m3! (forall v9 v8 v7 v6) (ant (p10 (arg1 v6) (arg2 v7) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object v6) (property v8))) (wrt2 (p9 (object v7) (property v9)\ )))) (cq (p14 (forall v10) (ant (p11 (object v10) (property v9))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property v8))))))))) and ((p10 (arg1 (v6 <-- b2)) (arg2 (v7 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object (v6 <-- b2)) (property (v8 <-- m12)))) (wrt2 (p9 (object (v7 <-- b3)) (property (v9 <-- m19)))))) I infer ((p14 (forall v10) (ant (p11 (object v10) (property (v9 <-- m19)))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property (v8 <-- m12))))))\ )) Since ((m3! (forall v9 v8 v7 v6) (ant (p10 (arg1 v6) (arg2 v7) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object v6) (property v8))) (wrt2 (p9 (object v7) (property v9)\ )))) (cq (p14 (forall v10) (ant (p11 (object v10) (property v9))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property v8))))))))) and ((p10 (arg1 (v6 <-- b2)) (arg2 (v7 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object (v6 <-- b2)) (property (v8 <-- m12)))) (wrt2 (p9 (object (v7 <-- b3)) (property (v9 <-- m19)))))) I infer ((p14 (forall v10) (ant (p11 (object v10) (property (v9 <-- m19)))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property (v8 <-- m12))))))\ )) Since ((m3! (forall v9 v8 v7 v6) (ant (p10 (arg1 v6) (arg2 v7) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object v6) (property v8))) (wrt2 (p9 (object v7) (property v9)\ )))) (cq (p14 (forall v10) (ant (p11 (object v10) (property v9))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property v8))))))))) and ((p10 (arg1 (v6 <-- b2)) (arg2 (v7 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object (v6 <-- b2)) (property (v8 <-- m12)))) (wrt2 (p9 (object (v7 <-- b3)) (property (v9 <-- m19)))))) I infer ((p14 (forall v10) (ant (p11 (object v10) (property (v9 <-- m19)))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property (v8 <-- m12))))))\ )) Since ((m2! (forall v4 v3 v2 v1) (ant (p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property v3))) (wrt2 (p2 (object v2) (property v4)\ )))) (cq (p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))))) and ((p3 (arg1 (v1 <-- b2)) (arg2 (v2 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object (v1 <-- b2)) (property (v3 <-- m12)))) (wrt2 (p2 (object (v2 <-- b3)) (property (v4 <-- m19)))))) I infer ((p7 (forall v5) (ant (p4 (object v5) (property (v3 <-- m12)))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property (v4 <-- m19)))))))) Since ((m2! (forall v4 v3 v2 v1) (ant (p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property v3))) (wrt2 (p2 (object v2) (property v4)\ )))) (cq (p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))))) and ((p3 (arg1 (v1 <-- b2)) (arg2 (v2 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object (v1 <-- b2)) (property (v3 <-- m12)))) (wrt2 (p2 (object (v2 <-- b3)) (property (v4 <-- m19)))))) I infer ((p7 (forall v5) (ant (p4 (object v5) (property (v3 <-- m12)))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property (v4 <-- m19)))))))) Since ((m5! (forall (v18 <-- m14) (v17 <-- m12) (v16 <-- m19) (v15 <-- v10)) (&ant (p25 (class (v18 <-- m14)) (member (v16 <-- m19))) (p24 (ant (p21 (object (v15 <-- v10)) (property (v16 <-- m19)))) (cq (p23 (min 0) (max 0) (arg (p22 (object (v15 <-- v10)) (property (v17 <-- m12)))))))) (cq (p26 (class (v18 <-- m14)) (member (v17 <-- m12)))))) and ((p25 (class (v18 <-- m14)) (member (v16 <-- m19)))) and ((p24 (ant (p21 (object (v15 <-- v10)) (property (v16 <-- m19)))) (cq (p23 (min 0) (max 0) (arg (p22 (object (v15 <-- v10)) (property (v17 <-- m12)))))))) I infer ((p26 (class (v18 <-- m14)) (member (v17 <-- m12)))) Since ((m4! (forall (v14 <-- m14) (v13 <-- m19) (v12 <-- m12) (v11 <-- v5)) (&ant (p19 (class (v14 <-- m14)) (member (v13 <-- m19))) (p18 (ant (p15 (object (v11 <-- v5)) (property (v12 <-- m12)))) (cq (p17 (min 0) (max 0) (arg (p16 (object (v11 <-- v5)) (property (v13 <-- m19)))))))) (cq (p20 (class (v14 <-- m14)) (member (v12 <-- m12)))))) and ((p19 (class (v14 <-- m14)) (member (v13 <-- m19)))) and ((p18 (ant (p15 (object (v11 <-- v5)) (property (v12 <-- m12)))) (cq (p17 (min 0) (max 0) (arg (p16 (object (v11 <-- v5)) (property (v13 <-- m19)))))))) I infer ((p20 (class (v14 <-- m14)) (member (v12 <-- m12)))) Since ((p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))) and ((p4 (object (v5 <-- b2)) (property (v3 <-- m12)))) I infer ((p6 (min 0) (max 0) (arg (p5 (object (v5 <-- b2)) (property (v4 <-- m19)))))\ ) Since ((p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))) and ((p4 (object (v5 <-- b2)) (property (v3 <-- m12)))) I infer ((p6 (min 0) (max 0) (arg (p5 (object (v5 <-- b2)) (property (v4 <-- m22)))))\ ) Since ((p14 (forall v10) (ant (p11 (object v10) (property v9))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property v8))))))) and ((p11 (object (v10 <-- b3)) (property (v9 <-- m19)))) I infer ((p13 (min 0) (max 0) (arg (p12 (object (v10 <-- b3)) (property (v8 <-- m12))\ )))) Since ((p14 (forall v10) (ant (p11 (object v10) (property v9))) (cq (p13 (min 0) (max 0) (arg (p12 (object v10) (property v8))))))) and ((p11 (object (v10 <-- b3)) (property (v9 <-- m19)))) I infer ((p13 (min 0) (max 0) (arg (p12 (object (v10 <-- b3)) (property (v8 <-- m12))\ )))) I wonder if ((p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property v3))) (wrt2 (p2 (object v2) (property (v4 <-- m19)))))) holds within the BS defined by context default-defaultct Since ((m2! (forall v4 v3 v2 v1) (ant (p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property v3))) (wrt2 (p2 (object v2) (property v4)\ )))) (cq (p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))))) and ((p3 (arg1 (v1 <-- b2)) (arg2 (v2 <-- b3)) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object (v1 <-- b2)) (property (v3 <-- m12)))) (wrt2 (p2 (object (v2 <-- b3)) (property (v4 <-- m19)))))) I infer ((p7 (forall v5) (ant (p4 (object v5) (property (v3 <-- m12)))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property (v4 <-- m19)))))))) I know ((m37! (arg1 (b2)) (arg2 (b3)) (rel (m1 (lex (unlike)))) (wrt1 (m13! (object (b2)) (property (m12 (lex (taciturn)))))) (wrt2 (m20! (object (b3)) (property (m19 (lex (talkative)))))))) (m41! (min 0) (max 0) (arg (m40 (object b2) (property (m19 (lex talkative))))\ )) (p76! (ant (p74 (object v10) (property (m19)))) (cq (p64 (min 0) (max 0) (arg (p63 (object v10) (property (m12 (lex taciturn)))\ ))))) (p75! (ant (p59 (object v5) (property (m12)))) (cq (p73 (min 0) (max 0) (arg (p72 (object v5) (property (m19))))))) (m39! (forall v10) (ant (p74)) (cq (p64))) (m38! (forall v5) (ant (p59)) (cq (p73))) (m37! (arg1 b2) (arg2 b3) (rel (m1 (lex unlike))) (wrt1 (m13! (object b2) (property (m12)))) (wrt2 (m20! (object b3) (property (m19))))) (m31! (min 0) (max 0) (arg (m30 (object b3) (property (m12))))) (m21! (class (m14 (lex personality))) (member (m19))) (m15! (class (m14)) (member (m12))) (m41! p76! p75! m39! m38! m37! m31! m21! m15!) CPU time : 0.27 * ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;; ;;;He talked little and seemed all the ;;;more mysterious for his taciturn manner. ;;;An object exists with the name Joe. (describe (add object #Joe proper-name (build lex "Joe"))); --- pause --- (m43! (object b4) (proper-name (m42 (lex Joe)))) (m43!) CPU time : 0.01 * ;;;Joe talks little. (describe (add object *Joe act (build action (build lex "talk") frequency (build lex "little")))); --- pause --- (m47! (act (m46 (action (m44 (lex talk))) (frequency (m45 (lex little))))) (object b4)) (m47!) CPU time : 0.01 * ;;;Joe has a manner. (describe (add object *Joe possessor (build lex "manner"))); --- pause --- (m49! (object b4) (possessor (m48 (lex manner)))) (m49!) CPU time : 0.02 * ;;;Joe's manner is taciturn. (describe (add object (find lex "manner") property (build lex "taciturn"))); --- pause --- Since ((p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))) and ((p4 (object (v5 <-- m48)) (property (v3 <-- m12)))) I infer ((p6 (min 0) (max 0) (arg (p5 (object (v5 <-- m48)) (property (v4 <-- m19))))\ )) Since ((p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))) and ((p4 (object (v5 <-- m48)) (property (v3 <-- m12)))) I infer ((p6 (min 0) (max 0) (arg (p5 (object (v5 <-- m48)) (property (v4 <-- m22))))\ )) Since ((p7 (forall v5) (ant (p4 (object v5) (property v3))) (cq (p6 (min 0) (max 0) (arg (p5 (object v5) (property v4))))))) and ((p4 (object (v5 <-- m48)) (property (v3 <-- m12)))) I infer ((p6 (min 0) (max 0) (arg (p5 (object (v5 <-- m48)) (property (v4 <-- m16))))\ )) Since ((p75! (ant (p59 (object v5) (property (m12 (lex (taciturn)))))) (cq (p73 (min 0) (max 0) (arg (p72 (object v5) (property (m19 (lex (talkative)))))))))) and ((p59 (object (v5 <-- m48)) (property (m12 (lex (taciturn)))))) I infer ((p73 (min 0) (max 0) (arg (p72 (object (v5 <-- m48)) (property (m19 (lex (talkative)))))))) Since ((m38! (forall v5) (ant (p59 (object v5) (property (m12 (lex (taciturn)))))) (cq (p73 (min 0) (max 0) (arg (p72 (object v5) (property (m19 (lex (talkative)))))))))) and ((p59 (object (v5 <-- m48)) (property (m12 (lex (taciturn)))))) I infer ((p73 (min 0) (max 0) (arg (p72 (object (v5 <-- m48)) (property (m19 (lex (talkative)))))))) Since ((p70! (ant (p59 (object v5) (property (m12 (lex (taciturn)))))) (cq (p68 (min 0) (max 0) (arg (p67 (object v5) (property (m22 (lex (outgoing)))))))))) and ((p59 (object (v5 <-- m48)) (property (m12 (lex (taciturn)))))) I infer ((p68 (min 0) (max 0) (arg (p67 (object (v5 <-- m48)) (property (m22 (lex (outgoing)))))))) Since ((m33! (forall v5) (ant (p59 (object v5) (property (m12 (lex (taciturn)))))) (cq (p68 (min 0) (max 0) (arg (p67 (object v5) (property (m22 (lex (outgoing)))))))))) and ((p59 (object (v5 <-- m48)) (property (m12 (lex (taciturn)))))) I infer ((p68 (min 0) (max 0) (arg (p67 (object (v5 <-- m48)) (property (m22 (lex (outgoing)))))))) Since ((p65! (ant (p59 (object v5) (property (m12 (lex (taciturn)))))) (cq (p61 (min 0) (max 0) (arg (p60 (object v5) (property (m16 (lex (noisy)))))\ ))))) and ((p59 (object (v5 <-- m48)) (property (m12 (lex (taciturn)))))) I infer ((p61 (min 0) (max 0) (arg (p60 (object (v5 <-- m48)) (property (m16 (lex (noisy)))))))) Since ((m26! (forall v5) (ant (p59 (object v5) (property (m12 (lex (taciturn)))))) (cq (p61 (min 0) (max 0) (arg (p60 (object v5) (property (m16 (lex (noisy)))))\ ))))) and ((p59 (object (v5 <-- m48)) (property (m12 (lex (taciturn)))))) I infer ((p61 (min 0) (max 0) (arg (p60 (object (v5 <-- m48)) (property (m16 (lex (noisy)))))))) Since ((m26! (forall v5) (ant (p59 (object v5) (property (m12 (lex (taciturn)))))) (cq (p61 (min 0) (max 0) (arg (p60 (object v5) (property (m16 (lex (noisy)))))\ ))))) and ((p59 (object (v5 <-- m48)) (property (m12 (lex (taciturn)))))) I infer ((p61 (min 0) (max 0) (arg (p60 (object (v5 <-- m48)) (property (m16 (lex (noisy)))))))) Since ((p65! (ant (p59 (object v5) (property (m12 (lex (taciturn)))))) (cq (p61 (min 0) (max 0) (arg (p60 (object v5) (property (m16 (lex (noisy)))))\ ))))) and ((p59 (object (v5 <-- m48)) (property (m12 (lex (taciturn)))))) I infer ((p61 (min 0) (max 0) (arg (p60 (object (v5 <-- m48)) (property (m16 (lex (noisy)))))))) Since ((m33! (forall v5) (ant (p59 (object v5) (property (m12 (lex (taciturn)))))) (cq (p68 (min 0) (max 0) (arg (p67 (object v5) (property (m22 (lex (outgoing)))))))))) and ((p59 (object (v5 <-- m48)) (property (m12 (lex (taciturn)))))) I infer ((p68 (min 0) (max 0) (arg (p67 (object (v5 <-- m48)) (property (m22 (lex (outgoing)))))))) Since ((p70! (ant (p59 (object v5) (property (m12 (lex (taciturn)))))) (cq (p68 (min 0) (max 0) (arg (p67 (object v5) (property (m22 (lex (outgoing)))))))))) and ((p59 (object (v5 <-- m48)) (property (m12 (lex (taciturn)))))) I infer ((p68 (min 0) (max 0) (arg (p67 (object (v5 <-- m48)) (property (m22 (lex (outgoing)))))))) Since ((m38! (forall v5) (ant (p59 (object v5) (property (m12 (lex (taciturn)))))) (cq (p73 (min 0) (max 0) (arg (p72 (object v5) (property (m19 (lex (talkative)))))))))) and ((p59 (object (v5 <-- m48)) (property (m12 (lex (taciturn)))))) I infer ((p73 (min 0) (max 0) (arg (p72 (object (v5 <-- m48)) (property (m19 (lex (talkative)))))))) Since ((p75! (ant (p59 (object v5) (property (m12 (lex (taciturn)))))) (cq (p73 (min 0) (max 0) (arg (p72 (object v5) (property (m19 (lex (talkative)))))))))) and ((p59 (object (v5 <-- m48)) (property (m12 (lex (taciturn)))))) I infer ((p73 (min 0) (max 0) (arg (p72 (object (v5 <-- m48)) (property (m19 (lex (talkative)))))))) (m56! (min 0) (max 0) (arg (m55 (object (m48 (lex manner))) (property (m16 (lex noisy)))))) (m54! (min 0) (max 0) (arg (m53 (object (m48)) (property (m22 (lex outgoing))\ )))) (m52! (min 0) (max 0) (arg (m51 (object (m48)) (property (m19 (lex talkative)\ ))))) (m50! (object (m48)) (property (m12 (lex taciturn)))) (m56! m54! m52! m50!) CPU time : 0.12 * ;;;Joe seems more mysterious. (describe (add object *Joe rel (build lex "seem") property (build mod (build lex "more") head (build lex "mysterious")))); --- pause --- I wonder if ((p3 (arg1 v1) (arg2 v2) (rel (m1 (lex (unlike)))) (wrt1 (p1 (object v1) (property (v3 <-- m60)))) (wrt2 (p2 (object v2) (property v4))))) holds within the BS defined by context default-defaultct I wonder if ((p10 (arg1 v6) (arg2 v7) (rel (m1 (lex (unlike)))) (wrt1 (p8 (object v6) (property v8))) (wrt2 (p9 (object v7) (property (v9 <-- m60)))))) holds within the BS defined by context default-defaultct (m62! (object b4) (property (m60 (head (m59 (lex mysterious))) (mod (m58 (lex more)))))) (m61! (object b4) (property (m60)) (rel (m57 (lex seem)))) (m62! m61!) CPU time : 0.15 * ;;;One cause of Joe seeming more mysterious is that his manner is taciturn. (describe (add cause (build object (build lex "manner") property (build lex "taciturn")) effect (build object *Joe rel (build lex "seem") property (build mod (build lex "more") head (build lex "mysterious"))))\ ); --- pause --- (m63! (cause (m50! (object (m48 (lex manner))) (property (m12 (lex taciturn))\ ))) (effect (m61! (object b4) (property (m60 (head (m59 (lex mysterious))) (mod (m58 (lex more))))) (rel (m57 (lex seem)))))) (m63!) CPU time : 0.02 * ;;;A second cause of Joe seeming more mysterious is that he talks little. (describe (add cause (build object *Joe act (build action (build lex "talk") frequency (build lex "little"))) effect (build object *Joe rel (build lex "seem") property (build mod (build lex "more") head (build lex "mysterious"))))\ ); --- pause --- (m64! (cause (m47! (act (m46 (action (m44 (lex talk))) (frequency (m45 (lex little))))) (object b4))) (effect (m61! (object b4) (property (m60 (head (m59 (lex mysterious))) (mod (m58 (lex more))))) (rel (m57 (lex seem)))))) (m64!) CPU time : 0.02 * ;;;Two assertions that are the cause a common effect may be equivalent (describe (add forall ($x $r $s) &ant (build cause *r effect *x) &ant (build cause *s effect *x) cq (build arg *r arg *s rel (build lex "possibly_equiv")))); --- pause --- I wonder if ((p86 (cause v21) (effect v19))) holds within the BS defined by context default-defaultct I wonder if ((p85 (cause v20) (effect v19))) holds within the BS defined by context default-defaultct I know ((m63! (cause (m50! (object (m48 (lex (manner)))) (property (m12 (lex (taciturn)))\ ))) (effect (m61! (object (b4)) (property (m60 (head (m59 (lex (mysterious)))) (mod (m58 (lex (more)))))) (rel (m57 (lex (seem)))))))) I know ((m64! (cause (m47! (act (m46 (action (m44 (lex (talk)))) (frequency (m45 (lex (little))\ )))) (object (b4)))) (effect (m61! (object (b4)) (property (m60 (head (m59 (lex (mysterious)))) (mod (m58 (lex (more)))))) (rel (m57 (lex (seem)))))))) Since ((m66! (forall (v21 <-- m50!) (v20 <-- m47!) (v19 <-- m61!)) (&ant (p86 (cause (v21 <-- m50!)) (effect (v19 <-- m61!))) (p85 (cause (v20 <-- m47!)) (effect (v19 <-- m61!)))) (cq (p87 (arg (v21 <-- m50!) (v20 <-- m47!)) (rel (m65 (lex (possibly_equiv)))\ ))))) and ((p86 (cause (v21 <-- m50!)) (effect (v19 <-- m61!)))) and ((p85 (cause (v20 <-- m47!)) (effect (v19 <-- m61!)))) I infer ((p87 (arg (v21 <-- m50!) (v20 <-- m47!)) (rel (m65 (lex (possibly_equiv)))))\ ) Since ((m66! (forall (v21 <-- m47!) (v20 <-- m50!) (v19 <-- m61!)) (&ant (p86 (cause (v21 <-- m47!)) (effect (v19 <-- m61!))) (p85 (cause (v20 <-- m50!)) (effect (v19 <-- m61!)))) (cq (p87 (arg (v21 <-- m47!) (v20 <-- m50!)) (rel (m65 (lex (possibly_equiv)))\ ))))) and ((p86 (cause (v21 <-- m47!)) (effect (v19 <-- m61!)))) and ((p85 (cause (v20 <-- m50!)) (effect (v19 <-- m61!)))) I infer ((p87 (arg (v21 <-- m47!) (v20 <-- m50!)) (rel (m65 (lex (possibly_equiv)))))\ ) I know ((p88! (arg (m66! (forall v21 v20 v19) (&ant (p86 (cause v21) (effect v19)) (p85 (cause v20) (effect v19))) (cq (p87 (arg v21 v20) (rel (m65 (lex (possibly_equiv))))))) v20) (rel (m65 (lex (possibly_equiv)))))) I know ((p89! (arg (m66! (forall v21 v20 v19) (&ant (p86 (cause v21) (effect v19)) (p85 (cause v20) (effect v19))) (cq (p87! (arg v21 v20) (rel (m65 (lex (possibly_equiv))))))) v21) (rel (m65 (lex (possibly_equiv)))))) I wonder if ((p86 (cause (v21 <-- p85)) (effect v19))) holds within the BS defined by context default-defaultct I wonder if ((p85 (cause (v20 <-- p86)) (effect v19))) holds within the BS defined by context default-defaultct I know ((p89! (arg (m66! (forall v21 v20 v19) (&ant (p86 (cause v21) (effect v19)) (p85 (cause v20) (effect v19))) (cq (p87! (arg v21 v20) (rel (m65 (lex (possibly_equiv))))))) v21) (rel (m65 (lex (possibly_equiv)))))) I know ((p87! (arg v21 v20) (rel (m65 (lex (possibly_equiv)))))) I know ((p88! (arg (m66! (forall v21 v20 v19) (&ant (p86 (cause v21) (effect v19)) (p85 (cause v20) (effect v19))) (cq (p87! (arg v21 v20) (rel (m65 (lex (possibly_equiv))))))) v20) (rel (m65 (lex (possibly_equiv)))))) (m68! (arg (m50! (object (m48 (lex manner))) (property (m12 (lex taciturn)))) (m47! (act (m46 (action (m44 (lex talk))) (frequency (m45 (lex little))))) (object b4))) (rel (m65 (lex possibly_equiv)))) (m67! (arg (m66! (forall v21 v20 v19) (&ant (p86 (cause v21) (effect v19)) (p85 (cause v20) (effect v19))) (cq (p87! (arg v21 v20) (rel (m65)))))) (rel (m65))) (p89! (arg (m66!) v21) (rel (m65))) (p88! (arg (m66!) v20) (rel (m65))) (m64! (cause (m47!)) (effect (m61! (object b4) (property (m60 (head (m59 (lex mysterious))) (mod (m58 (lex more))))) (rel (m57 (lex seem)))))) (m63! (cause (m50!)) (effect (m61!))) (m68! m67! p89! p88! m66! p87! v21 v20 m64! m63! m50! m47!) CPU time : 0.28 * ;;;Use the algorithm to describe the "unknown" adjective "taciturn". ^( --- pause --- --> define_adjective "taciturn"); --- pause --- #S(adj_info :adjective "taciturn" :unlike_props (outgoing talkative noisy) :class (personality) :type_nouns (People) :possible_equiv (m50! m\ 47!)) CPU time : 0.02 * End of /home/visitor/alammert/algorithm/master.demo demonstration. CPU time : 2.18 2 Susan Lammert2 1/4fäÎ2STR ¿ãÿÿ ­¦ˆ