Context                Previous, Next                Top


39_a_kyoto_2
Actually, it does not mean that an enlightened Zen master instructs and enables someone to gain enlightenment.

%3 r_0039_0004__does_r_0039_0006__mean does mean r_0039_0001__Actually Actually r_0039_0004__does_r_0039_0006__mean->r_0039_0001__Actually [nim] r_0039_0003__it it r_0039_0004__does_r_0039_0006__mean->r_0039_0003__it [arg0] r_0039_0013__and and r_0039_0004__does_r_0039_0006__mean->r_0039_0013__and [arg1] r_0039_0012__instructs instructs r_0039_0013__and->r_0039_0012__instructs [conj1] r_0039_0014__enables enables r_0039_0013__and->r_0039_0014__enables [conj2] r_0039_0005__not not r_0039_0005__not->r_0039_0004__does_r_0039_0006__mean [keep_scope] r_0039_0008__an_r_0039_0010__Zen_r_0039_0011__master an Zen master r_0039_0009__enlightened enlightened r_0039_0008__an_r_0039_0010__Zen_r_0039_0011__master->r_0039_0009__enlightened [attrib] r_0039_0012__instructs->r_0039_0008__an_r_0039_0010__Zen_r_0039_0011__master [arg0] r_0039_0015__someone someone r_0039_0012__instructs->r_0039_0015__someone [arg2] r_0039_0016__to_r_0039_0017__gain to gain r_0039_0012__instructs->r_0039_0016__to_r_0039_0017__gain [arg1] r_0039_0016__to_r_0039_0017__gain->r_0039_0015__someone [arg0] r_0039_0018__enlightenment enlightenment r_0039_0016__to_r_0039_0017__gain->r_0039_0018__enlightenment [arg1] x_000_39_a_kyoto_2_51 __ r_0039_0016__to_r_0039_0017__gain->x_000_39_a_kyoto_2_51 [arg0] r_0039_0014__enables->r_0039_0008__an_r_0039_0010__Zen_r_0039_0011__master [arg0] r_0039_0014__enables->r_0039_0015__someone [arg1] r_0039_0014__enables->r_0039_0016__to_r_0039_0017__gain [prd] 
arc(r_0039_0004__does_r_0039_0006__mean, r_0039_0001__Actually, nim2).
arc(r_0039_0004__does_r_0039_0006__mean, r_0039_0003__it, arg0).
arc(r_0039_0004__does_r_0039_0006__mean, r_0039_0013__and, arg1).
arc(r_0039_0005__not, r_0039_0004__does_r_0039_0006__mean, keep_scope).
arc(r_0039_0008__an_r_0039_0010__Zen_r_0039_0011__master, r_0039_0009__enlightened, attrib23).
arc(r_0039_0012__instructs, r_0039_0008__an_r_0039_0010__Zen_r_0039_0011__master, arg0).
arc(r_0039_0012__instructs, r_0039_0015__someone, arg2).
arc(r_0039_0012__instructs, r_0039_0016__to_r_0039_0017__gain, arg1).
arc(r_0039_0013__and, r_0039_0012__instructs, conj1).
arc(r_0039_0013__and, r_0039_0014__enables, conj2).
arc(r_0039_0014__enables, r_0039_0008__an_r_0039_0010__Zen_r_0039_0011__master, arg0).
arc(r_0039_0014__enables, r_0039_0015__someone, arg1).
arc(r_0039_0014__enables, r_0039_0016__to_r_0039_0017__gain, prd).
arc(r_0039_0016__to_r_0039_0017__gain, r_0039_0015__someone, arg0).
arc(r_0039_0016__to_r_0039_0017__gain, r_0039_0018__enlightenment, arg1).
arc(r_0039_0016__to_r_0039_0017__gain, x_000_39_a_kyoto_2_51, arg0).


%3 r_0039_0016__to_r_0039_0017__gain to gain x_000_39_a_kyoto_2_51 __ r_0039_0016__to_r_0039_0017__gain->x_000_39_a_kyoto_2_51 [arg0] r_0039_0018__enlightenment enlightenment r_0039_0016__to_r_0039_0017__gain->r_0039_0018__enlightenment [arg1] r_0039_0015__someone someone r_0039_0016__to_r_0039_0017__gain->r_0039_0015__someone [arg0] r_0039_0014__enables enables r_0039_0014__enables->r_0039_0016__to_r_0039_0017__gain [prd] r_0039_0014__enables->r_0039_0015__someone [arg1] r_0039_0008__an_r_0039_0010__Zen_r_0039_0011__master an Zen master r_0039_0014__enables->r_0039_0008__an_r_0039_0010__Zen_r_0039_0011__master [arg0] r_0039_0009__enlightened enlightened r_0039_0008__an_r_0039_0010__Zen_r_0039_0011__master->r_0039_0009__enlightened [attrib] r_0039_0013__and and r_0039_0013__and->r_0039_0014__enables [conj2] r_0039_0012__instructs instructs r_0039_0013__and->r_0039_0012__instructs [conj1] r_0039_0012__instructs->r_0039_0016__to_r_0039_0017__gain [arg1] r_0039_0012__instructs->r_0039_0015__someone [arg2] r_0039_0012__instructs->r_0039_0008__an_r_0039_0010__Zen_r_0039_0011__master [arg0] r_0039_0005__not not r_0039_0004__does_r_0039_0006__mean does mean r_0039_0005__not->r_0039_0004__does_r_0039_0006__mean [keep_scope] r_0039_0004__does_r_0039_0006__mean->r_0039_0013__and [arg1] r_0039_0003__it it r_0039_0004__does_r_0039_0006__mean->r_0039_0003__it [arg0] r_0039_0001__Actually Actually r_0039_0004__does_r_0039_0006__mean->r_0039_0001__Actually [nim] 
fof(formula,axiom,
    ~ ? [R_39_4_DOES_MEAN,R_39_3_IT,R_39_13_AND,R_39_12_INSTRUCTS,R_39_14_ENABLES,R_39_8_AN_ZEN_MASTER,R_39_9_ENLIGHTENED,R_39_16_TO_GAIN,R_39_15_SOMEONE,X_39_A_KYOTO_2_51,R_39_18_ENLIGHTENMENT,R_39_1_ACTUALLY] :
        ( it(R_39_3_IT)
        & enlightened(R_39_9_ENLIGHTENED)
        & someone(R_39_15_SOMEONE)
        & enlightenment(R_39_18_ENLIGHTENMENT)
        & actually(R_39_1_ACTUALLY)
        & does_mean(R_39_4_DOES_MEAN,R_39_3_IT,R_39_13_AND)
        & and(R_39_13_AND)
        & conj1(R_39_13_AND,R_39_12_INSTRUCTS)
        & instructs(R_39_12_INSTRUCTS,R_39_8_AN_ZEN_MASTER,R_39_16_TO_GAIN,R_39_15_SOMEONE)
        & an_Zen_master(R_39_8_AN_ZEN_MASTER)
        & attrib23(R_39_8_AN_ZEN_MASTER,R_39_9_ENLIGHTENED)
        & true
        & true
        & arg0(ARG0)
        & to_gain(R_39_16_TO_GAIN)
        & arg1(R_39_16_TO_GAIN,R_39_18_ENLIGHTENMENT)
        & conj2(R_39_13_AND,R_39_14_ENABLES)
        & enables(R_39_14_ENABLES,R_39_8_AN_ZEN_MASTER,R_39_15_SOMEONE,R_39_16_TO_GAIN)
        & nim2(R_39_4_DOES_MEAN,R_39_1_ACTUALLY) ) ).


n39_a_kyoto_2 n39_a_kyoto_2__1_1_1_1 Actually n39_a_kyoto_2__1_2_1 , n39_a_kyoto_2__1_3_1_1 it n39_a_kyoto_2__1_4_1 does n39_a_kyoto_2__1_5_1 not n39_a_kyoto_2__1_6_1 mean n39_a_kyoto_2__1_7_1_1_1 that n39_a_kyoto_2__1_7_1_2_1_1 an n39_a_kyoto_2__1_7_1_2_2_1_1 enlightened n39_a_kyoto_2__1_7_1_2_3_1 Zen n39_a_kyoto_2__1_7_1_2_4_1 master n39_a_kyoto_2__1_7_1_3_1_1_1 instructs n39_a_kyoto_2__1_7_1_3_1_2_1 *ICH*-174 n39_a_kyoto_2__1_7_1_3_1_3_1 *ICH*-176 n39_a_kyoto_2__1_7_1_3_2_1_1 and n39_a_kyoto_2__1_7_1_3_2_2_1_1 enables n39_a_kyoto_2__1_7_1_3_2_2_2_1 *ICH*-174 n39_a_kyoto_2__1_7_1_3_2_2_3_1 *ICH*-176 n39_a_kyoto_2__1_7_1_4_1_1 someone n39_a_kyoto_2__1_7_1_5_1_1 to n39_a_kyoto_2__1_7_1_5_2_1 gain n39_a_kyoto_2__1_7_1_5_3_1_1 enlightenment n39_a_kyoto_2__1_8_1 . n39_a_kyoto_2__1 IP-MAT n39_a_kyoto_2__1_1 ADVP-NIM n39_a_kyoto_2__1->n39_a_kyoto_2__1_1 n39_a_kyoto_2__1_2 PUNC n39_a_kyoto_2__1->n39_a_kyoto_2__1_2 n39_a_kyoto_2__1_3 NP-SBJ n39_a_kyoto_2__1->n39_a_kyoto_2__1_3 n39_a_kyoto_2__1_4 DOP n39_a_kyoto_2__1->n39_a_kyoto_2__1_4 n39_a_kyoto_2__1_5 NEG n39_a_kyoto_2__1->n39_a_kyoto_2__1_5 n39_a_kyoto_2__1_6 VB;_Tf_ n39_a_kyoto_2__1->n39_a_kyoto_2__1_6 n39_a_kyoto_2__1_7 CP-THT-OB1 n39_a_kyoto_2__1->n39_a_kyoto_2__1_7 n39_a_kyoto_2__1_8 PUNC n39_a_kyoto_2__1->n39_a_kyoto_2__1_8 n39_a_kyoto_2__1_1_1 ADV n39_a_kyoto_2__1_1->n39_a_kyoto_2__1_1_1 n39_a_kyoto_2__1_1_1->n39_a_kyoto_2__1_1_1_1 n39_a_kyoto_2__1_2->n39_a_kyoto_2__1_2_1 n39_a_kyoto_2__1_3_1 PRO n39_a_kyoto_2__1_3->n39_a_kyoto_2__1_3_1 n39_a_kyoto_2__1_3_1->n39_a_kyoto_2__1_3_1_1 n39_a_kyoto_2__1_4->n39_a_kyoto_2__1_4_1 n39_a_kyoto_2__1_5->n39_a_kyoto_2__1_5_1 n39_a_kyoto_2__1_6->n39_a_kyoto_2__1_6_1 n39_a_kyoto_2__1_7_1 IP-SUB n39_a_kyoto_2__1_7->n39_a_kyoto_2__1_7_1 n39_a_kyoto_2__1_7_1_1 C n39_a_kyoto_2__1_7_1->n39_a_kyoto_2__1_7_1_1 n39_a_kyoto_2__1_7_1_2 NP-SBJ n39_a_kyoto_2__1_7_1->n39_a_kyoto_2__1_7_1_2 n39_a_kyoto_2__1_7_1_3 ILYR n39_a_kyoto_2__1_7_1->n39_a_kyoto_2__1_7_1_3 n39_a_kyoto_2__1_7_1_4 NP-RNR-174 n39_a_kyoto_2__1_7_1->n39_a_kyoto_2__1_7_1_4 n39_a_kyoto_2__1_7_1_5 IP-INF-RNR-176 n39_a_kyoto_2__1_7_1->n39_a_kyoto_2__1_7_1_5 n39_a_kyoto_2__1_7_1_1->n39_a_kyoto_2__1_7_1_1_1 n39_a_kyoto_2__1_7_1_2_1 D n39_a_kyoto_2__1_7_1_2->n39_a_kyoto_2__1_7_1_2_1 n39_a_kyoto_2__1_7_1_2_2 ADJP n39_a_kyoto_2__1_7_1_2->n39_a_kyoto_2__1_7_1_2_2 n39_a_kyoto_2__1_7_1_2_3 NPR n39_a_kyoto_2__1_7_1_2->n39_a_kyoto_2__1_7_1_2_3 n39_a_kyoto_2__1_7_1_2_4 N n39_a_kyoto_2__1_7_1_2->n39_a_kyoto_2__1_7_1_2_4 n39_a_kyoto_2__1_7_1_2_1->n39_a_kyoto_2__1_7_1_2_1_1 n39_a_kyoto_2__1_7_1_2_2_1 ADJ n39_a_kyoto_2__1_7_1_2_2->n39_a_kyoto_2__1_7_1_2_2_1 n39_a_kyoto_2__1_7_1_2_2_1->n39_a_kyoto_2__1_7_1_2_2_1_1 n39_a_kyoto_2__1_7_1_2_3->n39_a_kyoto_2__1_7_1_2_3_1 n39_a_kyoto_2__1_7_1_2_4->n39_a_kyoto_2__1_7_1_2_4_1 n39_a_kyoto_2__1_7_1_3_1 ILYR n39_a_kyoto_2__1_7_1_3->n39_a_kyoto_2__1_7_1_3_1 n39_a_kyoto_2__1_7_1_3_2 CONJP n39_a_kyoto_2__1_7_1_3->n39_a_kyoto_2__1_7_1_3_2 n39_a_kyoto_2__1_7_1_3_1_1 VBP;_Dn.t_ n39_a_kyoto_2__1_7_1_3_1->n39_a_kyoto_2__1_7_1_3_1_1 n39_a_kyoto_2__1_7_1_3_1_2 NP-OB2 n39_a_kyoto_2__1_7_1_3_1->n39_a_kyoto_2__1_7_1_3_1_2 n39_a_kyoto_2__1_7_1_3_1_3 IP-INF-OB1 n39_a_kyoto_2__1_7_1_3_1->n39_a_kyoto_2__1_7_1_3_1_3 n39_a_kyoto_2__1_7_1_3_1_1->n39_a_kyoto_2__1_7_1_3_1_1_1 n39_a_kyoto_2__1_7_1_3_1_2->n39_a_kyoto_2__1_7_1_3_1_2_1 n39_a_kyoto_2__1_7_1_3_1_3->n39_a_kyoto_2__1_7_1_3_1_3_1 n39_a_kyoto_2__1_7_1_3_2_1 CONJ n39_a_kyoto_2__1_7_1_3_2->n39_a_kyoto_2__1_7_1_3_2_1 n39_a_kyoto_2__1_7_1_3_2_2 ILYR n39_a_kyoto_2__1_7_1_3_2->n39_a_kyoto_2__1_7_1_3_2_2 n39_a_kyoto_2__1_7_1_3_2_1->n39_a_kyoto_2__1_7_1_3_2_1_1 n39_a_kyoto_2__1_7_1_3_2_2_1 VBP;_Cn.t_ n39_a_kyoto_2__1_7_1_3_2_2->n39_a_kyoto_2__1_7_1_3_2_2_1 n39_a_kyoto_2__1_7_1_3_2_2_2 NP-OB1 n39_a_kyoto_2__1_7_1_3_2_2->n39_a_kyoto_2__1_7_1_3_2_2_2 n39_a_kyoto_2__1_7_1_3_2_2_3 IP-INF-PRD n39_a_kyoto_2__1_7_1_3_2_2->n39_a_kyoto_2__1_7_1_3_2_2_3 n39_a_kyoto_2__1_7_1_3_2_2_1->n39_a_kyoto_2__1_7_1_3_2_2_1_1 n39_a_kyoto_2__1_7_1_3_2_2_2->n39_a_kyoto_2__1_7_1_3_2_2_2_1 n39_a_kyoto_2__1_7_1_3_2_2_3->n39_a_kyoto_2__1_7_1_3_2_2_3_1 n39_a_kyoto_2__1_7_1_4_1 D;_nphd_ n39_a_kyoto_2__1_7_1_4->n39_a_kyoto_2__1_7_1_4_1 n39_a_kyoto_2__1_7_1_4_1->n39_a_kyoto_2__1_7_1_4_1_1 n39_a_kyoto_2__1_7_1_5_1 TO n39_a_kyoto_2__1_7_1_5->n39_a_kyoto_2__1_7_1_5_1 n39_a_kyoto_2__1_7_1_5_2 VB;_Tn_ n39_a_kyoto_2__1_7_1_5->n39_a_kyoto_2__1_7_1_5_2 n39_a_kyoto_2__1_7_1_5_3 NP-OB1 n39_a_kyoto_2__1_7_1_5->n39_a_kyoto_2__1_7_1_5_3 n39_a_kyoto_2__1_7_1_5_1->n39_a_kyoto_2__1_7_1_5_1_1 n39_a_kyoto_2__1_7_1_5_2->n39_a_kyoto_2__1_7_1_5_2_1 n39_a_kyoto_2__1_7_1_5_3_1 N n39_a_kyoto_2__1_7_1_5_3->n39_a_kyoto_2__1_7_1_5_3_1 n39_a_kyoto_2__1_7_1_5_3_1->n39_a_kyoto_2__1_7_1_5_3_1_1 n39_a_kyoto_2__1_8->n39_a_kyoto_2__1_8_1 
( (IP-MAT (ADVP-NIM (ADV Actually;{actually}))
          (PUNC ,)
          (NP-SBJ (PRO it;{it}))
          (DOP does;{do})
          (NEG not;{not})
          (VB;_Tf_ mean;{mean})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ (D an;{an})
                                      (ADJP (ADJ enlightened;{enlightened}))
                                      (NPR Zen;{Zen})
                                      (N master;{master}))
                              (ILYR (ILYR (VBP;_Dn.t_ instructs;{instruct})
                                          (NP-OB2 *ICH*-174)
                                          (IP-INF-OB1 *ICH*-176))
                                    (CONJP (CONJ and;{and})
                                           (ILYR (VBP;_Cn.t_ enables;{enable})
                                                 (NP-OB1 *ICH*-174)
                                                 (IP-INF-PRD *ICH*-176))))
                              (NP-RNR-174 (D;_nphd_ someone;{someone}))
                              (IP-INF-RNR-176 (TO to;{to})
                                              (VB;_Tn_ gain;{gain})
                                              (NP-OB1 (N enlightenment;{enlightenment})))))
          (PUNC .))
  (ID 39_a_kyoto_2;BDS_00002;39))