Script started on Tue Apr 29 10:57:52 2003
pollux {~/cva_cse740/Taciturn} > acl

International Allegro CL Enterprise Edition
6.2 [Solaris] (Aug 15, 2002 14:24)
Copyright (C) 1985-2002, Franz Inc., Berkeley, CA, USA.  All Rights Reserved.

This development copy of Allegro CL is licensed to:
   [4549] SUNY/Buffalo, N. Campus

;; Optimization settings: safety 1, space 1, speed 1, debug 2.
;; For a complete description of all compiler switches given the
;; current optimization settings evaluate (explain-compiler-settings).
;;---
;; Current reader case mode: :case-sensitive-lower
cl-user(1): :ld /projects/snwiz/bin/sneps
; Loading /projects/snwiz/bin/sneps.lisp
Loading system SNePS...10% 20% 30% 40% 50% 60% 70% 80% 90% 100% 
SNePS-2.6 [PL:0a 2002/09/30 22:37:46] loaded.
Type `(sneps)' or `(snepslog)' to get started.
cl-user(2): :ld adjective_defn.lisp
; Loading /home/csgrad/aku2/cva_cse740/Taciturn/adjective_defn.lisp
cl-user(3): (sneps)


   Welcome to SNePS-2.6 [PL:0a 2002/09/30 22:37:46]

Copyright (C) 1984--2002 by Research Foundation of
State University of New York. SNePS comes with ABSOLUTELY NO WARRANTY!
Type `(copyright)' for detailed copyright information.
Type `(demo)' for a list of example applications.

   4/29/2003 10:58:52

* (demo "taciturn.demo")

File /home/csgrad/aku2/cva_cse740/Taciturn/taciturn.demo is now the source of input.


 CPU time : 0.02 

* ;;;   The Taciturn Demo
;;;     CSE 740: Seminar: Contextual Vocabulary Acquisition
;;;     Ananthakrishnan Ugrasenan Santha

;;; Passage:
;;;"My manner was reticent towards George. This caused George 
;;; to act withdrawn and taciturn". 

;;; Reset Network
(resetnet t)

Net reset


 CPU time : 0.01 

* 
;;; Define relations:
;;; lex,object,proper-name,class,member,rel
;;; possessor,direction,property,cause,effect,
(define lex object proper-name class member rel 
        possessor direction property cause effect)
effect is already defined.

(lex object proper-name class member rel possessor direction property
 cause effect)

 CPU time : 0.01 

* 
;;*********************************************;;
;;*****       Background Knowledge        *****;;
;;*********************************************;;

;;; There is an object with propername George.
(describe (assert object #George
                proper-name (build lex "George")))

(m2! (object b1) (proper-name (m1 (lex George))))

(m2!)

 CPU time : 0.00 

* 
;;; George and I are persons.
(describe (assert member (#I *George)
                class (build lex "person")))

(m4! (class (m3 (lex person))) (member b2 b1))

(m4!)

 CPU time : 0.00 

* 
;;; The words 'reticent' and 'withdrawn' are 
;;; synonyms of 'untalkative'
(describe (assert object ("reticent" "withdrawn")
                rel (build lex "synonym")
                object "untalkative"))

(m6! (object untalkative withdrawn reticent) (rel (m5 (lex synonym))))

(m6!)

 CPU time : 0.01 

* 
;;; The concepts denoted by 'reticent' and 'withdrawn'
;;; are manners.                        
(describe (assert member ((build lex "reticent")
                        (build lex "withdrawn"))
                class (build lex "manner"))) 
(m10! (class (m9 (lex manner)))
 (member (m8 (lex withdrawn)) (m7 (lex reticent))))

(m10!)

 CPU time : 0.00 

*                       

;;*********************************************;;
;;*****       Background Rules            *****;;
;;*********************************************;;

;;; If word1 and word2 are synonyms
;;; and something has the property denoted by word1
;;; then it has the property denoted by word2
(describe (assert forall ($thing $word1 $word2)
        &ant (build object *word1 
                rel (build lex "synonym")
                object *word2)
        &ant (build object *thing
                        property (build lex *word1))
        cq (build object *thing
                        property (build lex *word2))))

(m11! (forall v3 v2 v1)
 (&ant (p3 (object v1) (property (p2 (lex v2))))
  (p1 (object v3 v2) (rel (m5 (lex synonym)))))
 (cq (p5 (object v1) (property (p4 (lex v3))))))

(m11!)

 CPU time : 0.00 

* 
;;; If word1 and word2 are synonyms
;;; then the concept denoted by word1 
;;; is similar to the concept denoted by word2
(describe (assert forall ($word1$word2 $syn)
        ant (build object *word1
                rel (build lex "synonym")
                object *word2)
        cq (build object (build lex *word1)
                rel (build lex "similar")
                object (build lex word2))))

(m14! (forall v6 v5 v4)
 (ant (p6 (object v5 v4) (rel (m5 (lex synonym)))))
 (cq
  (p8 (object (m13 (lex word2)) (p7 (lex v4)))
   (rel (m12 (lex similar))))))

(m14!)

 CPU time : 0.01 

* 
;;; If word1 and word2 have a common synonym syn
;;; then the concept denoted by word1 
;;; is similar to the concept denoted by word2
(describe (assert forall ($word1 $word2 $syn)
        &ant (build object *word1
                rel (build lex "synonym")
                object *syn)
        &ant (build object *word2
                rel (build lex "synonym")
                object *syn)
        cq (build object (build lex *word1)
                rel (build lex "similar")
                object (build lex *word2))))

(m15! (forall v9 v8 v7)
 (&ant (p10 (object v9 v8) (rel (m5 (lex synonym))))
  (p9 (object v9 v7) (rel (m5))))
 (cq
  (p13 (object (p12 (lex v8)) (p11 (lex v7)))
   (rel (m12 (lex similar))))))

(m15!)

 CPU time : 0.02 

* 
;;; If the concept denoted by word1 
;;; is similar to the concept denoted by word2
;;; then word1 is a possible synonym of word2
(describe (assert forall ($word1 $word2)
        ant (build object(build lex *word1) 
                rel (build lex "similar")
                object (build lex *word2))
        cq (build object *word1
                rel (build lex "possible_synonym")
                object *word2)))

(m17! (forall v11 v10)
 (ant
  (p16 (object (p15 (lex v11)) (p14 (lex v10)))
   (rel (m12 (lex similar)))))
 (cq (p17 (object v11 v10) (rel (m16 (lex possible_synonym))))))

(m17!)

 CPU time : 0.01 

* 
;;; If word1 is a synonym of word2,
;;; then word1 is a possible_synonym of word2
(describe (assert forall ($word1 $word2)
        ant (build object *word1
                rel (build lex "synonym")
                object *word2)
        cq (build object *word1
                rel (build lex "possible_synonym")
                object *word2)))

(m18! (forall v13 v12)
 (ant (p18 (object v13 v12) (rel (m5 (lex synonym)))))
 (cq (p19 (object v13 v12) (rel (m16 (lex possible_synonym))))))

(m18!)

 CPU time : 0.08 

* 
;;; If obj1 is similar to obj2,
;;; and obj1 is a member of the class cl
;;; then obj2 is a member of the class cl 
(describe (assert forall ($obj1 $obj2 $cl)
        &ant (build object *obj1
                rel (build lex "similar")
                object *obj2)
        &ant (build member *obj1
                class *cl)
        cq (build member *obj2
                class *cl)))

(m19! (forall v16 v15 v14)
 (&ant (p21 (class v16) (member v14))
  (p20 (object v15 v14) (rel (m12 (lex similar)))))
 (cq (p22 (class v16) (member v15))))

(m19!)

 CPU time : 0.01 

* 
;;; If some person prsnA's manner mnnrA, which has property propA  
;;;     caused some person prsnB to have 
;;;     properties propB1 and propB2
;;; and if propA and propB1 are similar,
;;; then propB2 is similar to propB1 and propA 
(describe (assert forall ($prsnA $prsnB $mnnrA $propA $propB1 $propB2) 
        &ant (build member *prsnA class (build lex "person"))
        &ant (build possessor *prsnA
                rel (build lex "manner")
                object *mnnrA)
        &ant (build object *mnnrA property *propA)
        &ant (build member *prsnB class (build lex "person"))
        &ant (build cause *mnnrA 
                effect (build object *prsnB
                                property (*propB1 *propB2)))
        &ant (build object *propA
                rel (build lex "similar")
                object *propB1)
        cq (build object *propB2
                rel (build lex "similar")
                object (*propB1 *propA))))

(m20! (forall v22 v21 v20 v19 v18 v17)
 (&ant (p29 (object v21 v20) (rel (m12 (lex similar))))
  (p28 (cause v19) (effect (p27 (object v18) (property v22 v21))))
  (p26 (class (m3 (lex person))) (member v18))
  (p25 (object v19) (property v20))
  (p24 (object v19) (possessor v17) (rel (m9 (lex manner))))
  (p23 (class (m3)) (member v17)))
 (cq (p30 (object v22 v21 v20) (rel (m12)))))

(m20!)

 CPU time : 0.02 

* 
;;*********************************************;;
;;*****            Passage                *****;;
;;*********************************************;;

;; "My manner was reticent towards George."
;; Split into: 1. My manner was reticent.
;;      and: 2. This reticence was directed at George. 

;1. "My manner was reticent."
;;;     possessor: I
;;;     rel: (Node with lex "manner")
;;;     object: (BaseNode with property "reticent")
(describe (assert possessor *I
                rel (build lex "manner")
                object #mymanner))

(m21! (object b3) (possessor b2) (rel (m9 (lex manner))))

(m21!)

 CPU time : 0.01 

* (describe (assert object *mymanner
                property (build lex "reticent")))

(m22! (object b3) (property (m7 (lex reticent))))

(m22!)

 CPU time : 0.00 

* 
;2. "This manner (reticence) was directed at George."
;;;     object: (my reticence)                  
;;;     direction: George
(describe (assert object *mymanner
                direction *George))

(m23! (direction b1) (object b3))

(m23!)

 CPU time : 0.00 

* 
;;; "This (reticent manner) caused George to act withdrawn and taciturn."
(describe (assert cause *mymanner
                effect (assert object *George 
                                property ((build lex "withdrawn") 
                                                (build lex taciturn)))))

(m26! (cause b3)
 (effect
  (m25! (object b1)
   (property (m24 (lex taciturn)) (m8 (lex withdrawn))))))

(m26!)

 CPU time : 0.01 

* 
;;*********************************************;;
;;*****            Deductions             *****;;
;;*********************************************;;

;;; Is taciturn a possible synonym of untalkative?           
(describe (deduce object "taciturn" 
                rel (find lex "possible_synonym") 
                object "untalkative"))

I wonder if
((m27 (object (taciturn) (untalkative))
  (rel (m16 (lex (possible_synonym))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p16
  (object (p15 (lex (v11 <-- taciturn)))
   (p14 (lex (v10 <-- untalkative))))
  (rel (m12 (lex (similar))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p16
  (object (p15 (lex (v11 <-- untalkative)))
   (p14 (lex (v10 <-- taciturn))))
  (rel (m12 (lex (similar))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p18 (object (v13 <-- taciturn) (v12 <-- untalkative))
  (rel (m5 (lex (synonym))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p18 (object (v13 <-- untalkative) (v12 <-- taciturn))
  (rel (m5 (lex (synonym))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p10 (object v9 (v8 <-- untalkative)) (rel (m5 (lex (synonym))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p10 (object v9 (v8 <-- taciturn)) (rel (m5 (lex (synonym))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p9 (object v9 (v7 <-- taciturn)) (rel (m5 (lex (synonym))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p9 (object v9 (v7 <-- untalkative)) (rel (m5 (lex (synonym))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p29 (object (v21 <-- m24) v20) (rel (m12 (lex (similar))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p29 (object v21 (v20 <-- m24)) (rel (m12 (lex (similar))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p29 (object (v21 <-- m28) v20) (rel (m12 (lex (similar))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p29 (object (v21 <-- m28) (v20 <-- m24)) (rel (m12 (lex (similar))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p29 (object v21 (v20 <-- m28)) (rel (m12 (lex (similar))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p29 (object (v21 <-- m24) (v20 <-- m28)) (rel (m12 (lex (similar))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p28 (cause v19)
  (effect (p27 (object v18) (property (v22 <-- m28) (v21 <-- m24))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p28 (cause v19)
  (effect (p27 (object v18) (property (v22 <-- m28) v21)))))
holds within the BS defined by context default-defaultct 

I wonder if
((p28 (cause v19)
  (effect (p27 (object v18) (property (v22 <-- m24) (v21 <-- m28))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p28 (cause v19)
  (effect (p27 (object v18) (property v22 (v21 <-- m28))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p28 (cause v19)
  (effect (p27 (object v18) (property (v22 <-- m24) v21)))))
holds within the BS defined by context default-defaultct 

I wonder if
((p28 (cause v19)
  (effect (p27 (object v18) (property v22 (v21 <-- m24))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p26 (class (m3 (lex (person)))) (member v18)))
holds within the BS defined by context default-defaultct 

I wonder if
((p25 (object v19) (property v20)))
holds within the BS defined by context default-defaultct 

I wonder if
((p25 (object v19) (property (v20 <-- m24))))
holds within the BS defined by context default-defaultct 

I wonder if
((p25 (object v19) (property (v20 <-- m28))))
holds within the BS defined by context default-defaultct 

I wonder if
((p24 (object v19) (possessor v17) (rel (m9 (lex (manner))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p23 (class (m3 (lex (person)))) (member v17)))
holds within the BS defined by context default-defaultct 

I know
((m6! (object (untalkative) (withdrawn) (reticent))
  (rel (m5 (lex (synonym))))))

I know
((m26! (cause (b3))
  (effect
   (m25! (object (b1))
    (property (m24 (lex (taciturn))) (m8 (lex (withdrawn))))))))

I know
((m4! (class (m3 (lex (person)))) (member (b2) (b1))))

I know
((m22! (object (b3)) (property (m7 (lex (reticent))))))

I know
((m25! (object (b1))
  (property (m24 (lex (taciturn))) (m8 (lex (withdrawn))))))

I know
((m21! (object (b3)) (possessor (b2)) (rel (m9 (lex (manner))))))

I wonder if
((p6 (object v5 (v4 <-- untalkative)) (rel (m5 (lex (synonym))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p6 (object v5 (v4 <-- taciturn)) (rel (m5 (lex (synonym))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p10 (object v9 v8) (rel (m5 (lex (synonym))))))
holds within the BS defined by context default-defaultct 

Since
((m14! (forall v6 v5 v4)
  (ant (p6 (object v5 v4) (rel (m5 (lex (synonym))))))
  (cq
   (p8 (object (m13 (lex (word2))) (p7 (lex v4)))
    (rel (m12 (lex (similar))))))))
and
((p6 (object (v5 <-- reticent) (v4 <-- untalkative))
  (rel (m5 (lex (synonym))))))
I infer
((p8 (object (m13 (lex (word2))) (p7 (lex (v4 <-- untalkative))))
  (rel (m12 (lex (similar))))))

Since
((m14! (forall v6 v5 v4)
  (ant (p6 (object v5 v4) (rel (m5 (lex (synonym))))))
  (cq
   (p8 (object (m13 (lex (word2))) (p7 (lex v4)))
    (rel (m12 (lex (similar))))))))
and
((p6 (object (v5 <-- withdrawn) (v4 <-- untalkative))
  (rel (m5 (lex (synonym))))))
I infer
((p8 (object (m13 (lex (word2))) (p7 (lex (v4 <-- untalkative))))
  (rel (m12 (lex (similar))))))

I wonder if
((p9 (object v9 v7) (rel (m5 (lex (synonym))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p29 (object v21 v20) (rel (m12 (lex (similar))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p28 (cause v19) (effect (p27 (object v18) (property v22 v21)))))
holds within the BS defined by context default-defaultct 

I wonder if
((p21 (class (v16 <-- m3)) (member v14)))
holds within the BS defined by context default-defaultct 

I wonder if
((p20 (object v15 v14) (rel (m12 (lex (similar))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p3 (object v1) (property (p2 (lex v2)))))
holds within the BS defined by context default-defaultct 

I wonder if
((p1 (object (v3 <-- untalkative) v2) (rel (m5 (lex (synonym))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p1 (object (v3 <-- taciturn) v2) (rel (m5 (lex (synonym))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p1 (object v3 v2) (rel (m5 (lex (synonym))))))
holds within the BS defined by context default-defaultct 

I know
((m6! (object (untalkative) (withdrawn) (reticent))
  (rel (m5 (lex (synonym))))))

Since
((m15!
  (forall (v9 <-- withdrawn) (v8 <-- reticent) (v7 <-- untalkative))
  (&ant
   (p10 (object (v9 <-- withdrawn) (v8 <-- reticent))
    (rel (m5 (lex (synonym)))))
   (p9 (object (v9 <-- withdrawn) (v7 <-- untalkative))
    (rel (m5 (lex (synonym))))))
  (cq
   (p13
    (object (p12 (lex (v8 <-- reticent)))
     (p11 (lex (v7 <-- untalkative))))
    (rel (m12 (lex (similar))))))))
and
((p10 (object (v9 <-- withdrawn) (v8 <-- reticent))
  (rel (m5 (lex (synonym))))))
and
((p9 (object (v9 <-- withdrawn) (v7 <-- untalkative))
  (rel (m5 (lex (synonym))))))
I infer
((p13
  (object (p12 (lex (v8 <-- reticent)))
   (p11 (lex (v7 <-- untalkative))))
  (rel (m12 (lex (similar))))))

Since
((m15!
  (forall (v9 <-- reticent) (v8 <-- untalkative) (v7 <-- withdrawn))
  (&ant
   (p10 (object (v9 <-- reticent) (v8 <-- untalkative))
    (rel (m5 (lex (synonym)))))
   (p9 (object (v9 <-- reticent) (v7 <-- withdrawn))
    (rel (m5 (lex (synonym))))))
  (cq
   (p13
    (object (p12 (lex (v8 <-- untalkative)))
     (p11 (lex (v7 <-- withdrawn))))
    (rel (m12 (lex (similar))))))))
and
((p10 (object (v9 <-- reticent) (v8 <-- untalkative))
  (rel (m5 (lex (synonym))))))
and
((p9 (object (v9 <-- reticent) (v7 <-- withdrawn))
  (rel (m5 (lex (synonym))))))
I infer
((p13
  (object (p12 (lex (v8 <-- untalkative)))
   (p11 (lex (v7 <-- withdrawn))))
  (rel (m12 (lex (similar))))))

Since
((m15!
  (forall (v9 <-- withdrawn) (v8 <-- untalkative) (v7 <-- reticent))
  (&ant
   (p10 (object (v9 <-- withdrawn) (v8 <-- untalkative))
    (rel (m5 (lex (synonym)))))
   (p9 (object (v9 <-- withdrawn) (v7 <-- reticent))
    (rel (m5 (lex (synonym))))))
  (cq
   (p13
    (object (p12 (lex (v8 <-- untalkative)))
     (p11 (lex (v7 <-- reticent))))
    (rel (m12 (lex (similar))))))))
and
((p10 (object (v9 <-- withdrawn) (v8 <-- untalkative))
  (rel (m5 (lex (synonym))))))
and
((p9 (object (v9 <-- withdrawn) (v7 <-- reticent))
  (rel (m5 (lex (synonym))))))
I infer
((p13
  (object (p12 (lex (v8 <-- untalkative)))
   (p11 (lex (v7 <-- reticent))))
  (rel (m12 (lex (similar))))))

Since
((m15!
  (forall (v9 <-- reticent) (v8 <-- withdrawn) (v7 <-- untalkative))
  (&ant
   (p10 (object (v9 <-- reticent) (v8 <-- withdrawn))
    (rel (m5 (lex (synonym)))))
   (p9 (object (v9 <-- reticent) (v7 <-- untalkative))
    (rel (m5 (lex (synonym))))))
  (cq
   (p13
    (object (p12 (lex (v8 <-- withdrawn)))
     (p11 (lex (v7 <-- untalkative))))
    (rel (m12 (lex (similar))))))))
and
((p10 (object (v9 <-- reticent) (v8 <-- withdrawn))
  (rel (m5 (lex (synonym))))))
and
((p9 (object (v9 <-- reticent) (v7 <-- untalkative))
  (rel (m5 (lex (synonym))))))
I infer
((p13
  (object (p12 (lex (v8 <-- withdrawn)))
   (p11 (lex (v7 <-- untalkative))))
  (rel (m12 (lex (similar))))))

I know
((m33! (object (untalkative) (withdrawn)) (rel (m5 (lex (synonym))))))

I know
((m34! (object (untalkative) (reticent)) (rel (m5 (lex (synonym))))))

I know
((m32! (object (m28 (lex (untalkative))) (m13 (lex (word2))))
  (rel (m12 (lex (similar))))))

I know
((m26! (cause (b3))
  (effect
   (m25! (object (b1))
    (property (m24 (lex (taciturn))) (m8 (lex (withdrawn))))))))

I know
((m4! (class (m3 (lex (person)))) (member (b2) (b1))))

I know
((m35! (class (m3 (lex (person)))) (member (b2))))

I know
((m36! (class (m3 (lex (person)))) (member (b1))))

I know
((m22! (object (b3)) (property (m7 (lex (reticent))))))

Since
((m11! (forall (v3 <-- untalkative) (v2 <-- reticent) (v1 <-- b3))
  (&ant
   (p3 (object (v1 <-- b3)) (property (p2 (lex (v2 <-- reticent)))))
   (p1 (object (v3 <-- untalkative) (v2 <-- reticent))
    (rel (m5 (lex (synonym))))))
  (cq
   (p5 (object (v1 <-- b3))
    (property (p4 (lex (v3 <-- untalkative))))))))
and
((p3 (object (v1 <-- b3)) (property (p2 (lex (v2 <-- reticent))))))
and
((p1 (object (v3 <-- untalkative) (v2 <-- reticent))
  (rel (m5 (lex (synonym))))))
I infer
((p5 (object (v1 <-- b3)) (property (p4 (lex (v3 <-- untalkative))))))

Since
((m11! (forall (v3 <-- withdrawn) (v2 <-- reticent) (v1 <-- b3))
  (&ant
   (p3 (object (v1 <-- b3)) (property (p2 (lex (v2 <-- reticent)))))
   (p1 (object (v3 <-- withdrawn) (v2 <-- reticent))
    (rel (m5 (lex (synonym))))))
  (cq
   (p5 (object (v1 <-- b3)) (property (p4 (lex (v3 <-- withdrawn))))))))
and
((p3 (object (v1 <-- b3)) (property (p2 (lex (v2 <-- reticent))))))
and
((p1 (object (v3 <-- withdrawn) (v2 <-- reticent))
  (rel (m5 (lex (synonym))))))
I infer
((p5 (object (v1 <-- b3)) (property (p4 (lex (v3 <-- withdrawn))))))

Since
((m11! (forall (v3 <-- untalkative) (v2 <-- reticent) (v1 <-- b3))
  (&ant
   (p3 (object (v1 <-- b3)) (property (p2 (lex (v2 <-- reticent)))))
   (p1 (object (v3 <-- untalkative) (v2 <-- reticent))
    (rel (m5 (lex (synonym))))))
  (cq
   (p5 (object (v1 <-- b3))
    (property (p4 (lex (v3 <-- untalkative))))))))
and
((p3 (object (v1 <-- b3)) (property (p2 (lex (v2 <-- reticent))))))
and
((p1 (object (v3 <-- untalkative) (v2 <-- reticent))
  (rel (m5 (lex (synonym))))))
I infer
((p5 (object (v1 <-- b3)) (property (p4 (lex (v3 <-- untalkative))))))

Since
((m20!
  (forall (v22 <-- m24) (v21 <-- m8) (v20 <-- m28) (v19 <-- b3)
   (v18 <-- b1) (v17 <-- b2))
  (&ant
   (p29 (object (v21 <-- m8) (v20 <-- m28))
    (rel (m12 (lex (similar)))))
   (p28 (cause (v19 <-- b3))
    (effect
     (p27 (object (v18 <-- b1))
      (property (v22 <-- m24) (v21 <-- m8)))))
   (p26 (class (m3 (lex (person)))) (member (v18 <-- b1)))
   (p25 (object (v19 <-- b3)) (property (v20 <-- m28)))
   (p24 (object (v19 <-- b3)) (possessor (v17 <-- b2))
    (rel (m9 (lex (manner)))))
   (p23 (class (m3 (lex (person)))) (member (v17 <-- b2))))
  (cq
   (p30 (object (v22 <-- m24) (v21 <-- m8) (v20 <-- m28))
    (rel (m12 (lex (similar))))))))
and
((p29 (object (v21 <-- m8) (v20 <-- m28)) (rel (m12 (lex (similar))))))
and
((p28 (cause (v19 <-- b3))
  (effect
   (p27 (object (v18 <-- b1)) (property (v22 <-- m24) (v21 <-- m8))))))
and
((p26 (class (m3 (lex (person)))) (member (v18 <-- b1))))
and
((p25 (object (v19 <-- b3)) (property (v20 <-- m28))))
and
((p24 (object (v19 <-- b3)) (possessor (v17 <-- b2))
  (rel (m9 (lex (manner))))))
and
((p23 (class (m3 (lex (person)))) (member (v17 <-- b2))))
I infer
((p30 (object (v22 <-- m24) (v21 <-- m8) (v20 <-- m28))
  (rel (m12 (lex (similar))))))

Since
((m20!
  (forall (v22 <-- m24) (v21 <-- m8) (v20 <-- m28) (v19 <-- b3)
   (v18 <-- b1) (v17 <-- b2))
  (&ant
   (p29 (object (v21 <-- m8) (v20 <-- m28))
    (rel (m12 (lex (similar)))))
   (p28 (cause (v19 <-- b3))
    (effect
     (p27 (object (v18 <-- b1))
      (property (v22 <-- m24) (v21 <-- m8)))))
   (p26 (class (m3 (lex (person)))) (member (v18 <-- b1)))
   (p25 (object (v19 <-- b3)) (property (v20 <-- m28)))
   (p24 (object (v19 <-- b3)) (possessor (v17 <-- b2))
    (rel (m9 (lex (manner)))))
   (p23 (class (m3 (lex (person)))) (member (v17 <-- b2))))
  (cq
   (p30 (object (v22 <-- m24) (v21 <-- m8) (v20 <-- m28))
    (rel (m12 (lex (similar))))))))
and
((p29 (object (v21 <-- m8) (v20 <-- m28)) (rel (m12 (lex (similar))))))
and
((p28 (cause (v19 <-- b3))
  (effect
   (p27 (object (v18 <-- b1)) (property (v22 <-- m24) (v21 <-- m8))))))
and
((p26 (class (m3 (lex (person)))) (member (v18 <-- b1))))
and
((p25 (object (v19 <-- b3)) (property (v20 <-- m28))))
and
((p24 (object (v19 <-- b3)) (possessor (v17 <-- b2))
  (rel (m9 (lex (manner))))))
and
((p23 (class (m3 (lex (person)))) (member (v17 <-- b2))))
I infer
((p30 (object (v22 <-- m24) (v21 <-- m8) (v20 <-- m28))
  (rel (m12 (lex (similar))))))

Since
((m20!
  (forall (v22 <-- m8) (v21 <-- m24) (v20 <-- m28) (v19 <-- b3)
   (v18 <-- b1) (v17 <-- b2))
  (&ant
   (p29 (object (v21 <-- m24) (v20 <-- m28))
    (rel (m12 (lex (similar)))))
   (p28 (cause (v19 <-- b3))
    (effect
     (p27 (object (v18 <-- b1))
      (property (v22 <-- m8) (v21 <-- m24)))))
   (p26 (class (m3 (lex (person)))) (member (v18 <-- b1)))
   (p25 (object (v19 <-- b3)) (property (v20 <-- m28)))
   (p24 (object (v19 <-- b3)) (possessor (v17 <-- b2))
    (rel (m9 (lex (manner)))))
   (p23 (class (m3 (lex (person)))) (member (v17 <-- b2))))
  (cq
   (p30 (object (v22 <-- m8) (v21 <-- m24) (v20 <-- m28))
    (rel (m12 (lex (similar))))))))
and
((p29 (object (v21 <-- m24) (v20 <-- m28)) (rel (m12 (lex (similar))))))
and
((p28 (cause (v19 <-- b3))
  (effect
   (p27 (object (v18 <-- b1)) (property (v22 <-- m8) (v21 <-- m24))))))
and
((p26 (class (m3 (lex (person)))) (member (v18 <-- b1))))
and
((p25 (object (v19 <-- b3)) (property (v20 <-- m28))))
and
((p24 (object (v19 <-- b3)) (possessor (v17 <-- b2))
  (rel (m9 (lex (manner))))))
and
((p23 (class (m3 (lex (person)))) (member (v17 <-- b2))))
I infer
((p30 (object (v22 <-- m8) (v21 <-- m24) (v20 <-- m28))
  (rel (m12 (lex (similar))))))

Since
((m20!
  (forall (v22 <-- m8) (v21 <-- m24) (v20 <-- m28) (v19 <-- b3)
   (v18 <-- b1) (v17 <-- b2))
  (&ant
   (p29 (object (v21 <-- m24) (v20 <-- m28))
    (rel (m12 (lex (similar)))))
   (p28 (cause (v19 <-- b3))
    (effect
     (p27 (object (v18 <-- b1))
      (property (v22 <-- m8) (v21 <-- m24)))))
   (p26 (class (m3 (lex (person)))) (member (v18 <-- b1)))
   (p25 (object (v19 <-- b3)) (property (v20 <-- m28)))
   (p24 (object (v19 <-- b3)) (possessor (v17 <-- b2))
    (rel (m9 (lex (manner)))))
   (p23 (class (m3 (lex (person)))) (member (v17 <-- b2))))
  (cq
   (p30 (object (v22 <-- m8) (v21 <-- m24) (v20 <-- m28))
    (rel (m12 (lex (similar))))))))
and
((p29 (object (v21 <-- m24) (v20 <-- m28)) (rel (m12 (lex (similar))))))
and
((p28 (cause (v19 <-- b3))
  (effect
   (p27 (object (v18 <-- b1)) (property (v22 <-- m8) (v21 <-- m24))))))
and
((p26 (class (m3 (lex (person)))) (member (v18 <-- b1))))
and
((p25 (object (v19 <-- b3)) (property (v20 <-- m28))))
and
((p24 (object (v19 <-- b3)) (possessor (v17 <-- b2))
  (rel (m9 (lex (manner))))))
and
((p23 (class (m3 (lex (person)))) (member (v17 <-- b2))))
I infer
((p30 (object (v22 <-- m8) (v21 <-- m24) (v20 <-- m28))
  (rel (m12 (lex (similar))))))

Since
((m17! (forall v11 v10)
  (ant
   (p16 (object (p15 (lex v11)) (p14 (lex v10)))
    (rel (m12 (lex (similar))))))
  (cq (p17 (object v11 v10) (rel (m16 (lex (possible_synonym))))))))
and
((p16
  (object (p15 (lex (v11 <-- taciturn)))
   (p14 (lex (v10 <-- untalkative))))
  (rel (m12 (lex (similar))))))
I infer
((p17 (object (v11 <-- taciturn) (v10 <-- untalkative))
  (rel (m16 (lex (possible_synonym))))))

Since
((m17! (forall v11 v10)
  (ant
   (p16 (object (p15 (lex v11)) (p14 (lex v10)))
    (rel (m12 (lex (similar))))))
  (cq (p17 (object v11 v10) (rel (m16 (lex (possible_synonym))))))))
and
((p16
  (object (p15 (lex (v11 <-- untalkative)))
   (p14 (lex (v10 <-- taciturn))))
  (rel (m12 (lex (similar))))))
I infer
((p17 (object (v11 <-- untalkative) (v10 <-- taciturn))
  (rel (m16 (lex (possible_synonym))))))

I know
((m25! (object (b1))
  (property (m24 (lex (taciturn))) (m8 (lex (withdrawn))))))

Since
((m11! (forall (v3 <-- reticent) (v2 <-- withdrawn) (v1 <-- b1))
  (&ant
   (p3 (object (v1 <-- b1)) (property (p2 (lex (v2 <-- withdrawn)))))
   (p1 (object (v3 <-- reticent) (v2 <-- withdrawn))
    (rel (m5 (lex (synonym))))))
  (cq
   (p5 (object (v1 <-- b1)) (property (p4 (lex (v3 <-- reticent))))))))
and
((p3 (object (v1 <-- b1)) (property (p2 (lex (v2 <-- withdrawn))))))
and
((p1 (object (v3 <-- reticent) (v2 <-- withdrawn))
  (rel (m5 (lex (synonym))))))
I infer
((p5 (object (v1 <-- b1)) (property (p4 (lex (v3 <-- reticent))))))

Since
((m11! (forall (v3 <-- untalkative) (v2 <-- withdrawn) (v1 <-- b1))
  (&ant
   (p3 (object (v1 <-- b1)) (property (p2 (lex (v2 <-- withdrawn)))))
   (p1 (object (v3 <-- untalkative) (v2 <-- withdrawn))
    (rel (m5 (lex (synonym))))))
  (cq
   (p5 (object (v1 <-- b1))
    (property (p4 (lex (v3 <-- untalkative))))))))
and
((p3 (object (v1 <-- b1)) (property (p2 (lex (v2 <-- withdrawn))))))
and
((p1 (object (v3 <-- untalkative) (v2 <-- withdrawn))
  (rel (m5 (lex (synonym))))))
I infer
((p5 (object (v1 <-- b1)) (property (p4 (lex (v3 <-- untalkative))))))

Since
((m11! (forall (v3 <-- untalkative) (v2 <-- withdrawn) (v1 <-- b1))
  (&ant
   (p3 (object (v1 <-- b1)) (property (p2 (lex (v2 <-- withdrawn)))))
   (p1 (object (v3 <-- untalkative) (v2 <-- withdrawn))
    (rel (m5 (lex (synonym))))))
  (cq
   (p5 (object (v1 <-- b1))
    (property (p4 (lex (v3 <-- untalkative))))))))
and
((p3 (object (v1 <-- b1)) (property (p2 (lex (v2 <-- withdrawn))))))
and
((p1 (object (v3 <-- untalkative) (v2 <-- withdrawn))
  (rel (m5 (lex (synonym))))))
I infer
((p5 (object (v1 <-- b1)) (property (p4 (lex (v3 <-- untalkative))))))

I know
((m37! (object (b1)) (property (m24 (lex (taciturn))))))

I know
((m38! (object (b1)) (property (m8 (lex (withdrawn))))))

I wonder if
((p6 (object v5 v4) (rel (m5 (lex (synonym))))))
holds within the BS defined by context default-defaultct 

Since
((m14! (forall v6 v5 v4)
  (ant (p6 (object v5 v4) (rel (m5 (lex (synonym))))))
  (cq
   (p8 (object (m13 (lex (word2))) (p7 (lex v4)))
    (rel (m12 (lex (similar))))))))
and
((p6 (object (v5 <-- withdrawn) (v4 <-- untalkative))
  (rel (m5 (lex (synonym))))))
I infer
((p8 (object (m13 (lex (word2))) (p7 (lex (v4 <-- untalkative))))
  (rel (m12 (lex (similar))))))

Since
((m14! (forall v6 v5 v4)
  (ant (p6 (object v5 v4) (rel (m5 (lex (synonym))))))
  (cq
   (p8 (object (m13 (lex (word2))) (p7 (lex v4)))
    (rel (m12 (lex (similar))))))))
and
((p6 (object (v5 <-- reticent) (v4 <-- untalkative))
  (rel (m5 (lex (synonym))))))
I infer
((p8 (object (m13 (lex (word2))) (p7 (lex (v4 <-- untalkative))))
  (rel (m12 (lex (similar))))))

Since
((m14! (forall v6 v5 v4)
  (ant (p6 (object v5 v4) (rel (m5 (lex (synonym))))))
  (cq
   (p8 (object (m13 (lex (word2))) (p7 (lex v4)))
    (rel (m12 (lex (similar))))))))
and
((p6 (object (v5 <-- reticent) (v4 <-- withdrawn))
  (rel (m5 (lex (synonym))))))
I infer
((p8 (object (m13 (lex (word2))) (p7 (lex (v4 <-- withdrawn))))
  (rel (m12 (lex (similar))))))

Since
((m14! (forall v6 v5 v4)
  (ant (p6 (object v5 v4) (rel (m5 (lex (synonym))))))
  (cq
   (p8 (object (m13 (lex (word2))) (p7 (lex v4)))
    (rel (m12 (lex (similar))))))))
and
((p6 (object (v5 <-- untalkative) (v4 <-- reticent))
  (rel (m5 (lex (synonym))))))
I infer
((p8 (object (m13 (lex (word2))) (p7 (lex (v4 <-- reticent))))
  (rel (m12 (lex (similar))))))

Since
((m14! (forall v6 v5 v4)
  (ant (p6 (object v5 v4) (rel (m5 (lex (synonym))))))
  (cq
   (p8 (object (m13 (lex (word2))) (p7 (lex v4)))
    (rel (m12 (lex (similar))))))))
and
((p6 (object (v5 <-- withdrawn) (v4 <-- reticent))
  (rel (m5 (lex (synonym))))))
I infer
((p8 (object (m13 (lex (word2))) (p7 (lex (v4 <-- reticent))))
  (rel (m12 (lex (similar))))))

Since
((m14! (forall v6 v5 v4)
  (ant (p6 (object v5 v4) (rel (m5 (lex (synonym))))))
  (cq
   (p8 (object (m13 (lex (word2))) (p7 (lex v4)))
    (rel (m12 (lex (similar))))))))
and
((p6 (object (v5 <-- untalkative) (v4 <-- withdrawn))
  (rel (m5 (lex (synonym))))))
I infer
((p8 (object (m13 (lex (word2))) (p7 (lex (v4 <-- withdrawn))))
  (rel (m12 (lex (similar))))))

Since
((m15!
  (forall (v9 <-- reticent) (v8 <-- withdrawn) (v7 <-- untalkative))
  (&ant
   (p10 (object (v9 <-- reticent) (v8 <-- withdrawn))
    (rel (m5 (lex (synonym)))))
   (p9 (object (v9 <-- reticent) (v7 <-- untalkative))
    (rel (m5 (lex (synonym))))))
  (cq
   (p13
    (object (p12 (lex (v8 <-- withdrawn)))
     (p11 (lex (v7 <-- untalkative))))
    (rel (m12 (lex (similar))))))))
and
((p10 (object (v9 <-- reticent) (v8 <-- withdrawn))
  (rel (m5 (lex (synonym))))))
and
((p9 (object (v9 <-- reticent) (v7 <-- untalkative))
  (rel (m5 (lex (synonym))))))
I infer
((p13
  (object (p12 (lex (v8 <-- withdrawn)))
   (p11 (lex (v7 <-- untalkative))))
  (rel (m12 (lex (similar))))))

Since
((m15!
  (forall (v9 <-- reticent) (v8 <-- untalkative) (v7 <-- withdrawn))
  (&ant
   (p10 (object (v9 <-- reticent) (v8 <-- untalkative))
    (rel (m5 (lex (synonym)))))
   (p9 (object (v9 <-- reticent) (v7 <-- withdrawn))
    (rel (m5 (lex (synonym))))))
  (cq
   (p13
    (object (p12 (lex (v8 <-- untalkative)))
     (p11 (lex (v7 <-- withdrawn))))
    (rel (m12 (lex (similar))))))))
and
((p10 (object (v9 <-- reticent) (v8 <-- untalkative))
  (rel (m5 (lex (synonym))))))
and
((p9 (object (v9 <-- reticent) (v7 <-- withdrawn))
  (rel (m5 (lex (synonym))))))
I infer
((p13
  (object (p12 (lex (v8 <-- untalkative)))
   (p11 (lex (v7 <-- withdrawn))))
  (rel (m12 (lex (similar))))))

Since
((m15!
  (forall (v9 <-- withdrawn) (v8 <-- untalkative) (v7 <-- reticent))
  (&ant
   (p10 (object (v9 <-- withdrawn) (v8 <-- untalkative))
    (rel (m5 (lex (synonym)))))
   (p9 (object (v9 <-- withdrawn) (v7 <-- reticent))
    (rel (m5 (lex (synonym))))))
  (cq
   (p13
    (object (p12 (lex (v8 <-- untalkative)))
     (p11 (lex (v7 <-- reticent))))
    (rel (m12 (lex (similar))))))))
and
((p10 (object (v9 <-- withdrawn) (v8 <-- untalkative))
  (rel (m5 (lex (synonym))))))
and
((p9 (object (v9 <-- withdrawn) (v7 <-- reticent))
  (rel (m5 (lex (synonym))))))
I infer
((p13
  (object (p12 (lex (v8 <-- untalkative)))
   (p11 (lex (v7 <-- reticent))))
  (rel (m12 (lex (similar))))))

Since
((m15!
  (forall (v9 <-- untalkative) (v8 <-- reticent) (v7 <-- withdrawn))
  (&ant
   (p10 (object (v9 <-- untalkative) (v8 <-- reticent))
    (rel (m5 (lex (synonym)))))
   (p9 (object (v9 <-- untalkative) (v7 <-- withdrawn))
    (rel (m5 (lex (synonym))))))
  (cq
   (p13
    (object (p12 (lex (v8 <-- reticent)))
     (p11 (lex (v7 <-- withdrawn))))
    (rel (m12 (lex (similar))))))))
and
((p10 (object (v9 <-- untalkative) (v8 <-- reticent))
  (rel (m5 (lex (synonym))))))
and
((p9 (object (v9 <-- untalkative) (v7 <-- withdrawn))
  (rel (m5 (lex (synonym))))))
I infer
((p13
  (object (p12 (lex (v8 <-- reticent))) (p11 (lex (v7 <-- withdrawn))))
  (rel (m12 (lex (similar))))))

Since
((m15!
  (forall (v9 <-- untalkative) (v8 <-- withdrawn) (v7 <-- reticent))
  (&ant
   (p10 (object (v9 <-- untalkative) (v8 <-- withdrawn))
    (rel (m5 (lex (synonym)))))
   (p9 (object (v9 <-- untalkative) (v7 <-- reticent))
    (rel (m5 (lex (synonym))))))
  (cq
   (p13
    (object (p12 (lex (v8 <-- withdrawn)))
     (p11 (lex (v7 <-- reticent))))
    (rel (m12 (lex (similar))))))))
and
((p10 (object (v9 <-- untalkative) (v8 <-- withdrawn))
  (rel (m5 (lex (synonym))))))
and
((p9 (object (v9 <-- untalkative) (v7 <-- reticent))
  (rel (m5 (lex (synonym))))))
I infer
((p13
  (object (p12 (lex (v8 <-- withdrawn))) (p11 (lex (v7 <-- reticent))))
  (rel (m12 (lex (similar))))))

Since
((m15!
  (forall (v9 <-- withdrawn) (v8 <-- reticent) (v7 <-- untalkative))
  (&ant
   (p10 (object (v9 <-- withdrawn) (v8 <-- reticent))
    (rel (m5 (lex (synonym)))))
   (p9 (object (v9 <-- withdrawn) (v7 <-- untalkative))
    (rel (m5 (lex (synonym))))))
  (cq
   (p13
    (object (p12 (lex (v8 <-- reticent)))
     (p11 (lex (v7 <-- untalkative))))
    (rel (m12 (lex (similar))))))))
and
((p10 (object (v9 <-- withdrawn) (v8 <-- reticent))
  (rel (m5 (lex (synonym))))))
and
((p9 (object (v9 <-- withdrawn) (v7 <-- untalkative))
  (rel (m5 (lex (synonym))))))
I infer
((p13
  (object (p12 (lex (v8 <-- reticent)))
   (p11 (lex (v7 <-- untalkative))))
  (rel (m12 (lex (similar))))))

Since
((m20!
  (forall (v22 <-- m24) (v21 <-- m8) (v20 <-- m7) (v19 <-- b3)
   (v18 <-- b1) (v17 <-- b2))
  (&ant
   (p29 (object (v21 <-- m8) (v20 <-- m7)) (rel (m12 (lex (similar)))))
   (p28 (cause (v19 <-- b3))
    (effect
     (p27 (object (v18 <-- b1))
      (property (v22 <-- m24) (v21 <-- m8)))))
   (p26 (class (m3 (lex (person)))) (member (v18 <-- b1)))
   (p25 (object (v19 <-- b3)) (property (v20 <-- m7)))
   (p24 (object (v19 <-- b3)) (possessor (v17 <-- b2))
    (rel (m9 (lex (manner)))))
   (p23 (class (m3 (lex (person)))) (member (v17 <-- b2))))
  (cq
   (p30 (object (v22 <-- m24) (v21 <-- m8) (v20 <-- m7))
    (rel (m12 (lex (similar))))))))
and
((p29 (object (v21 <-- m8) (v20 <-- m7)) (rel (m12 (lex (similar))))))
and
((p28 (cause (v19 <-- b3))
  (effect
   (p27 (object (v18 <-- b1)) (property (v22 <-- m24) (v21 <-- m8))))))
and
((p26 (class (m3 (lex (person)))) (member (v18 <-- b1))))
and
((p25 (object (v19 <-- b3)) (property (v20 <-- m7))))
and
((p24 (object (v19 <-- b3)) (possessor (v17 <-- b2))
  (rel (m9 (lex (manner))))))
and
((p23 (class (m3 (lex (person)))) (member (v17 <-- b2))))
I infer
((p30 (object (v22 <-- m24) (v21 <-- m8) (v20 <-- m7))
  (rel (m12 (lex (similar))))))

Since
((m20!
  (forall (v22 <-- m8) (v21 <-- m24) (v20 <-- m7) (v19 <-- b3)
   (v18 <-- b1) (v17 <-- b2))
  (&ant
   (p29 (object (v21 <-- m24) (v20 <-- m7))
    (rel (m12 (lex (similar)))))
   (p28 (cause (v19 <-- b3))
    (effect
     (p27 (object (v18 <-- b1))
      (property (v22 <-- m8) (v21 <-- m24)))))
   (p26 (class (m3 (lex (person)))) (member (v18 <-- b1)))
   (p25 (object (v19 <-- b3)) (property (v20 <-- m7)))
   (p24 (object (v19 <-- b3)) (possessor (v17 <-- b2))
    (rel (m9 (lex (manner)))))
   (p23 (class (m3 (lex (person)))) (member (v17 <-- b2))))
  (cq
   (p30 (object (v22 <-- m8) (v21 <-- m24) (v20 <-- m7))
    (rel (m12 (lex (similar))))))))
and
((p29 (object (v21 <-- m24) (v20 <-- m7)) (rel (m12 (lex (similar))))))
and
((p28 (cause (v19 <-- b3))
  (effect
   (p27 (object (v18 <-- b1)) (property (v22 <-- m8) (v21 <-- m24))))))
and
((p26 (class (m3 (lex (person)))) (member (v18 <-- b1))))
and
((p25 (object (v19 <-- b3)) (property (v20 <-- m7))))
and
((p24 (object (v19 <-- b3)) (possessor (v17 <-- b2))
  (rel (m9 (lex (manner))))))
and
((p23 (class (m3 (lex (person)))) (member (v17 <-- b2))))
I infer
((p30 (object (v22 <-- m8) (v21 <-- m24) (v20 <-- m7))
  (rel (m12 (lex (similar))))))

Since
((m20!
  (forall (v22 <-- m24) (v21 <-- m8) (v20 <-- m28) (v19 <-- b3)
   (v18 <-- b1) (v17 <-- b2))
  (&ant
   (p29 (object (v21 <-- m8) (v20 <-- m28))
    (rel (m12 (lex (similar)))))
   (p28 (cause (v19 <-- b3))
    (effect
     (p27 (object (v18 <-- b1))
      (property (v22 <-- m24) (v21 <-- m8)))))
   (p26 (class (m3 (lex (person)))) (member (v18 <-- b1)))
   (p25 (object (v19 <-- b3)) (property (v20 <-- m28)))
   (p24 (object (v19 <-- b3)) (possessor (v17 <-- b2))
    (rel (m9 (lex (manner)))))
   (p23 (class (m3 (lex (person)))) (member (v17 <-- b2))))
  (cq
   (p30 (object (v22 <-- m24) (v21 <-- m8) (v20 <-- m28))
    (rel (m12 (lex (similar))))))))
and
((p29 (object (v21 <-- m8) (v20 <-- m28)) (rel (m12 (lex (similar))))))
and
((p28 (cause (v19 <-- b3))
  (effect
   (p27 (object (v18 <-- b1)) (property (v22 <-- m24) (v21 <-- m8))))))
and
((p26 (class (m3 (lex (person)))) (member (v18 <-- b1))))
and
((p25 (object (v19 <-- b3)) (property (v20 <-- m28))))
and
((p24 (object (v19 <-- b3)) (possessor (v17 <-- b2))
  (rel (m9 (lex (manner))))))
and
((p23 (class (m3 (lex (person)))) (member (v17 <-- b2))))
I infer
((p30 (object (v22 <-- m24) (v21 <-- m8) (v20 <-- m28))
  (rel (m12 (lex (similar))))))

Since
((m20!
  (forall (v22 <-- m8) (v21 <-- m24) (v20 <-- m28) (v19 <-- b3)
   (v18 <-- b1) (v17 <-- b2))
  (&ant
   (p29 (object (v21 <-- m24) (v20 <-- m28))
    (rel (m12 (lex (similar)))))
   (p28 (cause (v19 <-- b3))
    (effect
     (p27 (object (v18 <-- b1))
      (property (v22 <-- m8) (v21 <-- m24)))))
   (p26 (class (m3 (lex (person)))) (member (v18 <-- b1)))
   (p25 (object (v19 <-- b3)) (property (v20 <-- m28)))
   (p24 (object (v19 <-- b3)) (possessor (v17 <-- b2))
    (rel (m9 (lex (manner)))))
   (p23 (class (m3 (lex (person)))) (member (v17 <-- b2))))
  (cq
   (p30 (object (v22 <-- m8) (v21 <-- m24) (v20 <-- m28))
    (rel (m12 (lex (similar))))))))
and
((p29 (object (v21 <-- m24) (v20 <-- m28)) (rel (m12 (lex (similar))))))
and
((p28 (cause (v19 <-- b3))
  (effect
   (p27 (object (v18 <-- b1)) (property (v22 <-- m8) (v21 <-- m24))))))
and
((p26 (class (m3 (lex (person)))) (member (v18 <-- b1))))
and
((p25 (object (v19 <-- b3)) (property (v20 <-- m28))))
and
((p24 (object (v19 <-- b3)) (possessor (v17 <-- b2))
  (rel (m9 (lex (manner))))))
and
((p23 (class (m3 (lex (person)))) (member (v17 <-- b2))))
I infer
((p30 (object (v22 <-- m8) (v21 <-- m24) (v20 <-- m28))
  (rel (m12 (lex (similar))))))

I know
((m6! (object (untalkative) (withdrawn) (reticent))
  (rel (m5 (lex (synonym))))))

I know
((m33! (object (untalkative) (withdrawn)) (rel (m5 (lex (synonym))))))

I know
((m34! (object (untalkative) (reticent)) (rel (m5 (lex (synonym))))))

I know
((m39! (object (withdrawn) (reticent)) (rel (m5 (lex (synonym))))))

(m27! (object taciturn untalkative) (rel (m16 (lex possible_synonym))))

(m27!)

 CPU time : 1.47 

* 
;;; Is taciturn a possible synonym of withdrawn?             
(describe (deduce object "taciturn"
                rel (find lex "possible_synonym") 
                object "withdrawn"))

I wonder if
((m53 (object (taciturn) (withdrawn))
  (rel (m16 (lex (possible_synonym))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p16
  (object (p15 (lex (v11 <-- taciturn)))
   (p14 (lex (v10 <-- withdrawn))))
  (rel (m12 (lex (similar))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p16
  (object (p15 (lex (v11 <-- withdrawn)))
   (p14 (lex (v10 <-- taciturn))))
  (rel (m12 (lex (similar))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p18 (object (v13 <-- taciturn) (v12 <-- withdrawn))
  (rel (m5 (lex (synonym))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p18 (object (v13 <-- withdrawn) (v12 <-- taciturn))
  (rel (m5 (lex (synonym))))))
holds within the BS defined by context default-defaultct 

I know
((m45! (object (m24 (lex (taciturn))) (m8 (lex (withdrawn))))
  (rel (m12 (lex (similar))))))

Since
((m17! (forall v11 v10)
  (ant
   (p16 (object (p15 (lex v11)) (p14 (lex v10)))
    (rel (m12 (lex (similar))))))
  (cq (p17 (object v11 v10) (rel (m16 (lex (possible_synonym))))))))
and
((p16
  (object (p15 (lex (v11 <-- withdrawn)))
   (p14 (lex (v10 <-- taciturn))))
  (rel (m12 (lex (similar))))))
I infer
((p17 (object (v11 <-- withdrawn) (v10 <-- taciturn))
  (rel (m16 (lex (possible_synonym))))))

Since
((m17! (forall v11 v10)
  (ant
   (p16 (object (p15 (lex v11)) (p14 (lex v10)))
    (rel (m12 (lex (similar))))))
  (cq (p17 (object v11 v10) (rel (m16 (lex (possible_synonym))))))))
and
((p16
  (object (p15 (lex (v11 <-- taciturn)))
   (p14 (lex (v10 <-- withdrawn))))
  (rel (m12 (lex (similar))))))
I infer
((p17 (object (v11 <-- taciturn) (v10 <-- withdrawn))
  (rel (m16 (lex (possible_synonym))))))

(m53! (object taciturn withdrawn) (rel (m16 (lex possible_synonym))))

(m53!)

 CPU time : 0.11 

* 
;;; Is taciturn a possible synonym of reticent?              
(describe (deduce object "taciturn"
                rel (find lex "possible_synonym") 
                object "reticent"))

I wonder if
((m55 (object (taciturn) (reticent))
  (rel (m16 (lex (possible_synonym))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p16
  (object (p15 (lex (v11 <-- taciturn)))
   (p14 (lex (v10 <-- reticent))))
  (rel (m12 (lex (similar))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p16
  (object (p15 (lex (v11 <-- reticent)))
   (p14 (lex (v10 <-- taciturn))))
  (rel (m12 (lex (similar))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p18 (object (v13 <-- taciturn) (v12 <-- reticent))
  (rel (m5 (lex (synonym))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p18 (object (v13 <-- reticent) (v12 <-- taciturn))
  (rel (m5 (lex (synonym))))))
holds within the BS defined by context default-defaultct 

I know
((m52! (object (m24 (lex (taciturn))) (m7 (lex (reticent))))
  (rel (m12 (lex (similar))))))

Since
((m17! (forall v11 v10)
  (ant
   (p16 (object (p15 (lex v11)) (p14 (lex v10)))
    (rel (m12 (lex (similar))))))
  (cq (p17 (object v11 v10) (rel (m16 (lex (possible_synonym))))))))
and
((p16
  (object (p15 (lex (v11 <-- reticent)))
   (p14 (lex (v10 <-- taciturn))))
  (rel (m12 (lex (similar))))))
I infer
((p17 (object (v11 <-- reticent) (v10 <-- taciturn))
  (rel (m16 (lex (possible_synonym))))))

Since
((m17! (forall v11 v10)
  (ant
   (p16 (object (p15 (lex v11)) (p14 (lex v10)))
    (rel (m12 (lex (similar))))))
  (cq (p17 (object v11 v10) (rel (m16 (lex (possible_synonym))))))))
and
((p16
  (object (p15 (lex (v11 <-- taciturn)))
   (p14 (lex (v10 <-- reticent))))
  (rel (m12 (lex (similar))))))
I infer
((p17 (object (v11 <-- taciturn) (v10 <-- reticent))
  (rel (m16 (lex (possible_synonym))))))

(m55! (object taciturn reticent) (rel (m16 (lex possible_synonym))))

(m55!)

 CPU time : 0.11 

* 
;;; Is taciturn a manner?
(deduce member (find lex "taciturn") class (find lex "manner"))

I wonder if
((m57 (class (m9 (lex (manner)))) (member (m24 (lex (taciturn))))))
holds within the BS defined by context default-defaultct 

I wonder if
((p21 (class (v16 <-- m9)) (member v14)))
holds within the BS defined by context default-defaultct 

I wonder if
((p20 (object (v15 <-- m24) v14) (rel (m12 (lex (similar))))))
holds within the BS defined by context default-defaultct 

I know
((m10! (class (m9 (lex (manner))))
  (member (m8 (lex (withdrawn))) (m7 (lex (reticent))))))

Since
((m19! (forall (v16 <-- m9) (v15 <-- m24) (v14 <-- m8))
  (&ant (p21 (class (v16 <-- m9)) (member (v14 <-- m8)))
   (p20 (object (v15 <-- m24) (v14 <-- m8))
    (rel (m12 (lex (similar))))))
  (cq (p22 (class (v16 <-- m9)) (member (v15 <-- m24))))))
and
((p21 (class (v16 <-- m9)) (member (v14 <-- m8))))
and
((p20 (object (v15 <-- m24) (v14 <-- m8)) (rel (m12 (lex (similar))))))
I infer
((p22 (class (v16 <-- m9)) (member (v15 <-- m24))))

Since
((m19! (forall (v16 <-- m9) (v15 <-- m24) (v14 <-- m7))
  (&ant (p21 (class (v16 <-- m9)) (member (v14 <-- m7)))
   (p20 (object (v15 <-- m24) (v14 <-- m7))
    (rel (m12 (lex (similar))))))
  (cq (p22 (class (v16 <-- m9)) (member (v15 <-- m24))))))
and
((p21 (class (v16 <-- m9)) (member (v14 <-- m7))))
and
((p20 (object (v15 <-- m24) (v14 <-- m7)) (rel (m12 (lex (similar))))))
I infer
((p22 (class (v16 <-- m9)) (member (v15 <-- m24))))

I know
((m29! (object (m28 (lex (untalkative))) (m24 (lex (taciturn))))
  (rel (m12 (lex (similar))))))

I know
((m44!
  (object (m28 (lex (untalkative))) (m24 (lex (taciturn)))
   (m8 (lex (withdrawn))))
  (rel (m12 (lex (similar))))))

I know
((m45! (object (m24 (lex (taciturn))) (m8 (lex (withdrawn))))
  (rel (m12 (lex (similar))))))

I know
((m51!
  (object (m24 (lex (taciturn))) (m8 (lex (withdrawn)))
   (m7 (lex (reticent))))
  (rel (m12 (lex (similar))))))

I know
((m52! (object (m24 (lex (taciturn))) (m7 (lex (reticent))))
  (rel (m12 (lex (similar))))))

I wonder if
((p20 (object v15 (v14 <-- m24)) (rel (m12 (lex (similar))))))
holds within the BS defined by context default-defaultct 

Since
((m19! (forall (v16 <-- m9) (v15 <-- m28) (v14 <-- m7))
  (&ant (p21 (class (v16 <-- m9)) (member (v14 <-- m7)))
   (p20 (object (v15 <-- m28) (v14 <-- m7))
    (rel (m12 (lex (similar))))))
  (cq (p22 (class (v16 <-- m9)) (member (v15 <-- m28))))))
and
((p21 (class (v16 <-- m9)) (member (v14 <-- m7))))
and
((p20 (object (v15 <-- m28) (v14 <-- m7)) (rel (m12 (lex (similar))))))
I infer
((p22 (class (v16 <-- m9)) (member (v15 <-- m28))))

Since
((m19! (forall (v16 <-- m9) (v15 <-- m13) (v14 <-- m7))
  (&ant (p21 (class (v16 <-- m9)) (member (v14 <-- m7)))
   (p20 (object (v15 <-- m13) (v14 <-- m7))
    (rel (m12 (lex (similar))))))
  (cq (p22 (class (v16 <-- m9)) (member (v15 <-- m13))))))
and
((p21 (class (v16 <-- m9)) (member (v14 <-- m7))))
and
((p20 (object (v15 <-- m13) (v14 <-- m7)) (rel (m12 (lex (similar))))))
I infer
((p22 (class (v16 <-- m9)) (member (v15 <-- m13))))

Since
((m19! (forall (v16 <-- m9) (v15 <-- m8) (v14 <-- m7))
  (&ant (p21 (class (v16 <-- m9)) (member (v14 <-- m7)))
   (p20 (object (v15 <-- m8) (v14 <-- m7))
    (rel (m12 (lex (similar))))))
  (cq (p22 (class (v16 <-- m9)) (member (v15 <-- m8))))))
and
((p21 (class (v16 <-- m9)) (member (v14 <-- m7))))
and
((p20 (object (v15 <-- m8) (v14 <-- m7)) (rel (m12 (lex (similar))))))
I infer
((p22 (class (v16 <-- m9)) (member (v15 <-- m8))))

Since
((m19! (forall (v16 <-- m9) (v15 <-- m24) (v14 <-- m7))
  (&ant (p21 (class (v16 <-- m9)) (member (v14 <-- m7)))
   (p20 (object (v15 <-- m24) (v14 <-- m7))
    (rel (m12 (lex (similar))))))
  (cq (p22 (class (v16 <-- m9)) (member (v15 <-- m24))))))
and
((p21 (class (v16 <-- m9)) (member (v14 <-- m7))))
and
((p20 (object (v15 <-- m24) (v14 <-- m7)) (rel (m12 (lex (similar))))))
I infer
((p22 (class (v16 <-- m9)) (member (v15 <-- m24))))

Since
((m19! (forall (v16 <-- m9) (v15 <-- m7) (v14 <-- m8))
  (&ant (p21 (class (v16 <-- m9)) (member (v14 <-- m8)))
   (p20 (object (v15 <-- m7) (v14 <-- m8))
    (rel (m12 (lex (similar))))))
  (cq (p22 (class (v16 <-- m9)) (member (v15 <-- m7))))))
and
((p21 (class (v16 <-- m9)) (member (v14 <-- m8))))
and
((p20 (object (v15 <-- m7) (v14 <-- m8)) (rel (m12 (lex (similar))))))
I infer
((p22 (class (v16 <-- m9)) (member (v15 <-- m7))))

Since
((m19! (forall (v16 <-- m9) (v15 <-- m13) (v14 <-- m8))
  (&ant (p21 (class (v16 <-- m9)) (member (v14 <-- m8)))
   (p20 (object (v15 <-- m13) (v14 <-- m8))
    (rel (m12 (lex (similar))))))
  (cq (p22 (class (v16 <-- m9)) (member (v15 <-- m13))))))
and
((p21 (class (v16 <-- m9)) (member (v14 <-- m8))))
and
((p20 (object (v15 <-- m13) (v14 <-- m8)) (rel (m12 (lex (similar))))))
I infer
((p22 (class (v16 <-- m9)) (member (v15 <-- m13))))

Since
((m19! (forall (v16 <-- m9) (v15 <-- m24) (v14 <-- m8))
  (&ant (p21 (class (v16 <-- m9)) (member (v14 <-- m8)))
   (p20 (object (v15 <-- m24) (v14 <-- m8))
    (rel (m12 (lex (similar))))))
  (cq (p22 (class (v16 <-- m9)) (member (v15 <-- m24))))))
and
((p21 (class (v16 <-- m9)) (member (v14 <-- m8))))
and
((p20 (object (v15 <-- m24) (v14 <-- m8)) (rel (m12 (lex (similar))))))
I infer
((p22 (class (v16 <-- m9)) (member (v15 <-- m24))))

Since
((m19! (forall (v16 <-- m9) (v15 <-- m28) (v14 <-- m8))
  (&ant (p21 (class (v16 <-- m9)) (member (v14 <-- m8)))
   (p20 (object (v15 <-- m28) (v14 <-- m8))
    (rel (m12 (lex (similar))))))
  (cq (p22 (class (v16 <-- m9)) (member (v15 <-- m28))))))
and
((p21 (class (v16 <-- m9)) (member (v14 <-- m8))))
and
((p20 (object (v15 <-- m28) (v14 <-- m8)) (rel (m12 (lex (similar))))))
I infer
((p22 (class (v16 <-- m9)) (member (v15 <-- m28))))

Since
((m19! (forall (v16 <-- m9) (v15 <-- m7) (v14 <-- m28))
  (&ant (p21 (class (v16 <-- m9)) (member (v14 <-- m28)))
   (p20 (object (v15 <-- m7) (v14 <-- m28))
    (rel (m12 (lex (similar))))))
  (cq (p22 (class (v16 <-- m9)) (member (v15 <-- m7))))))
and
((p21 (class (v16 <-- m9)) (member (v14 <-- m28))))
and
((p20 (object (v15 <-- m7) (v14 <-- m28)) (rel (m12 (lex (similar))))))
I infer
((p22 (class (v16 <-- m9)) (member (v15 <-- m7))))

Since
((m19! (forall (v16 <-- m9) (v15 <-- m8) (v14 <-- m28))
  (&ant (p21 (class (v16 <-- m9)) (member (v14 <-- m28)))
   (p20 (object (v15 <-- m8) (v14 <-- m28))
    (rel (m12 (lex (similar))))))
  (cq (p22 (class (v16 <-- m9)) (member (v15 <-- m8))))))
and
((p21 (class (v16 <-- m9)) (member (v14 <-- m28))))
and
((p20 (object (v15 <-- m8) (v14 <-- m28)) (rel (m12 (lex (similar))))))
I infer
((p22 (class (v16 <-- m9)) (member (v15 <-- m8))))

Since
((m19! (forall (v16 <-- m9) (v15 <-- m13) (v14 <-- m28))
  (&ant (p21 (class (v16 <-- m9)) (member (v14 <-- m28)))
   (p20 (object (v15 <-- m13) (v14 <-- m28))
    (rel (m12 (lex (similar))))))
  (cq (p22 (class (v16 <-- m9)) (member (v15 <-- m13))))))
and
((p21 (class (v16 <-- m9)) (member (v14 <-- m28))))
and
((p20 (object (v15 <-- m13) (v14 <-- m28)) (rel (m12 (lex (similar))))))
I infer
((p22 (class (v16 <-- m9)) (member (v15 <-- m13))))

Since
((m19! (forall (v16 <-- m9) (v15 <-- m24) (v14 <-- m28))
  (&ant (p21 (class (v16 <-- m9)) (member (v14 <-- m28)))
   (p20 (object (v15 <-- m24) (v14 <-- m28))
    (rel (m12 (lex (similar))))))
  (cq (p22 (class (v16 <-- m9)) (member (v15 <-- m24))))))
and
((p21 (class (v16 <-- m9)) (member (v14 <-- m28))))
and
((p20 (object (v15 <-- m24) (v14 <-- m28)) (rel (m12 (lex (similar))))))
I infer
((p22 (class (v16 <-- m9)) (member (v15 <-- m24))))

Since
((m19! (forall (v16 <-- m9) (v15 <-- m28) (v14 <-- m13))
  (&ant (p21 (class (v16 <-- m9)) (member (v14 <-- m13)))
   (p20 (object (v15 <-- m28) (v14 <-- m13))
    (rel (m12 (lex (similar))))))
  (cq (p22 (class (v16 <-- m9)) (member (v15 <-- m28))))))
and
((p21 (class (v16 <-- m9)) (member (v14 <-- m13))))
and
((p20 (object (v15 <-- m28) (v14 <-- m13)) (rel (m12 (lex (similar))))))
I infer
((p22 (class (v16 <-- m9)) (member (v15 <-- m28))))

Since
((m19! (forall (v16 <-- m9) (v15 <-- m7) (v14 <-- m13))
  (&ant (p21 (class (v16 <-- m9)) (member (v14 <-- m13)))
   (p20 (object (v15 <-- m7) (v14 <-- m13))
    (rel (m12 (lex (similar))))))
  (cq (p22 (class (v16 <-- m9)) (member (v15 <-- m7))))))
and
((p21 (class (v16 <-- m9)) (member (v14 <-- m13))))
and
((p20 (object (v15 <-- m7) (v14 <-- m13)) (rel (m12 (lex (similar))))))
I infer
((p22 (class (v16 <-- m9)) (member (v15 <-- m7))))

Since
((m19! (forall (v16 <-- m9) (v15 <-- m8) (v14 <-- m13))
  (&ant (p21 (class (v16 <-- m9)) (member (v14 <-- m13)))
   (p20 (object (v15 <-- m8) (v14 <-- m13))
    (rel (m12 (lex (similar))))))
  (cq (p22 (class (v16 <-- m9)) (member (v15 <-- m8))))))
and
((p21 (class (v16 <-- m9)) (member (v14 <-- m13))))
and
((p20 (object (v15 <-- m8) (v14 <-- m13)) (rel (m12 (lex (similar))))))
I infer
((p22 (class (v16 <-- m9)) (member (v15 <-- m8))))

I know
((m29! (object (m28 (lex (untalkative))) (m24 (lex (taciturn))))
  (rel (m12 (lex (similar))))))

I know
((m44!
  (object (m28 (lex (untalkative))) (m24 (lex (taciturn)))
   (m8 (lex (withdrawn))))
  (rel (m12 (lex (similar))))))

I know
((m45! (object (m24 (lex (taciturn))) (m8 (lex (withdrawn))))
  (rel (m12 (lex (similar))))))

I know
((m51!
  (object (m24 (lex (taciturn))) (m8 (lex (withdrawn)))
   (m7 (lex (reticent))))
  (rel (m12 (lex (similar))))))

I know
((m52! (object (m24 (lex (taciturn))) (m7 (lex (reticent))))
  (rel (m12 (lex (similar))))))

(m57!)

 CPU time : 0.18 

* 
;;*********************************************;;
;;*****            Definition             *****;;
;;*********************************************;;

^(
--> define_adjective "taciturn");
#S(adj_info :adjective "taciturn" :unlike_props nil :class (manner)
            :type_nouns (person)
            :possible_synonyms
            (taciturn untalkative withdrawn reticent))



 CPU time : 0.00 

* 

End of /home/csgrad/aku2/cva_cse740/Taciturn/taciturn.demo demonstration.


 CPU time : 2.13 

* (lisp)
"End of SNePS"
cl-user(4): :exit
; Exiting Lisp
pollux {~/cva_cse740/Taciturn} > ^Dexit

script done on Tue Apr 29 10:59:27 2003