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_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] 
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_4 Actually n39_a_kyoto_2_6 , n39_a_kyoto_2_9 it n39_a_kyoto_2_11 does n39_a_kyoto_2_13 not n39_a_kyoto_2_15 mean n39_a_kyoto_2_19 that n39_a_kyoto_2_22 an n39_a_kyoto_2_25 enlightened n39_a_kyoto_2_27 Zen n39_a_kyoto_2_29 master n39_a_kyoto_2_33 instructs n39_a_kyoto_2_37 *ICH*-176 n39_a_kyoto_2_40 and n39_a_kyoto_2_43 enables n39_a_kyoto_2_47 *ICH*-176 n39_a_kyoto_2_50 someone n39_a_kyoto_2_53 to n39_a_kyoto_2_55 gain n39_a_kyoto_2_58 enlightenment n39_a_kyoto_2_60 . n39_a_kyoto_2_1 IP-MAT n39_a_kyoto_2_2 ADVP-NIM n39_a_kyoto_2_1->n39_a_kyoto_2_2 n39_a_kyoto_2_5 PUNC n39_a_kyoto_2_1->n39_a_kyoto_2_5 n39_a_kyoto_2_7 NP-SBJ n39_a_kyoto_2_1->n39_a_kyoto_2_7 n39_a_kyoto_2_10 DOP n39_a_kyoto_2_1->n39_a_kyoto_2_10 n39_a_kyoto_2_12 NEG n39_a_kyoto_2_1->n39_a_kyoto_2_12 n39_a_kyoto_2_14 VB;_Tf_ n39_a_kyoto_2_1->n39_a_kyoto_2_14 n39_a_kyoto_2_16 CP-THT-OB1 n39_a_kyoto_2_1->n39_a_kyoto_2_16 n39_a_kyoto_2_59 PUNC n39_a_kyoto_2_1->n39_a_kyoto_2_59 n39_a_kyoto_2_3 ADV n39_a_kyoto_2_2->n39_a_kyoto_2_3 n39_a_kyoto_2_3->n39_a_kyoto_2_4 n39_a_kyoto_2_5->n39_a_kyoto_2_6 n39_a_kyoto_2_8 PRO n39_a_kyoto_2_7->n39_a_kyoto_2_8 n39_a_kyoto_2_8->n39_a_kyoto_2_9 n39_a_kyoto_2_10->n39_a_kyoto_2_11 n39_a_kyoto_2_12->n39_a_kyoto_2_13 n39_a_kyoto_2_14->n39_a_kyoto_2_15 n39_a_kyoto_2_17 IP-SUB n39_a_kyoto_2_16->n39_a_kyoto_2_17 n39_a_kyoto_2_18 C n39_a_kyoto_2_17->n39_a_kyoto_2_18 n39_a_kyoto_2_20 NP-SBJ n39_a_kyoto_2_17->n39_a_kyoto_2_20 n39_a_kyoto_2_30 ILYR n39_a_kyoto_2_17->n39_a_kyoto_2_30 n39_a_kyoto_2_48 NP-RNR-174 n39_a_kyoto_2_17->n39_a_kyoto_2_48 n39_a_kyoto_2_51 IP-INF-RNR-176 n39_a_kyoto_2_17->n39_a_kyoto_2_51 n39_a_kyoto_2_18->n39_a_kyoto_2_19 n39_a_kyoto_2_21 D n39_a_kyoto_2_20->n39_a_kyoto_2_21 n39_a_kyoto_2_23 ADJP n39_a_kyoto_2_20->n39_a_kyoto_2_23 n39_a_kyoto_2_26 NPR n39_a_kyoto_2_20->n39_a_kyoto_2_26 n39_a_kyoto_2_28 N n39_a_kyoto_2_20->n39_a_kyoto_2_28 n39_a_kyoto_2_21->n39_a_kyoto_2_22 n39_a_kyoto_2_24 ADJ n39_a_kyoto_2_23->n39_a_kyoto_2_24 n39_a_kyoto_2_24->n39_a_kyoto_2_25 n39_a_kyoto_2_26->n39_a_kyoto_2_27 n39_a_kyoto_2_28->n39_a_kyoto_2_29 n39_a_kyoto_2_31 ILYR n39_a_kyoto_2_30->n39_a_kyoto_2_31 n39_a_kyoto_2_38 CONJP n39_a_kyoto_2_30->n39_a_kyoto_2_38 n39_a_kyoto_2_32 VBP;_Dn.t_ n39_a_kyoto_2_31->n39_a_kyoto_2_32 n39_a_kyoto_2_34 NP-OB2 n39_a_kyoto_2_31->n39_a_kyoto_2_34 n39_a_kyoto_2_36 IP-INF-OB1 n39_a_kyoto_2_31->n39_a_kyoto_2_36 n39_a_kyoto_2_32->n39_a_kyoto_2_33 n39_a_kyoto_2_35 *ICH*-174 n39_a_kyoto_2_34->n39_a_kyoto_2_35 n39_a_kyoto_2_36->n39_a_kyoto_2_37 n39_a_kyoto_2_39 CONJ n39_a_kyoto_2_38->n39_a_kyoto_2_39 n39_a_kyoto_2_41 ILYR n39_a_kyoto_2_38->n39_a_kyoto_2_41 n39_a_kyoto_2_39->n39_a_kyoto_2_40 n39_a_kyoto_2_42 VBP;_Cn.t_ n39_a_kyoto_2_41->n39_a_kyoto_2_42 n39_a_kyoto_2_44 NP-OB1 n39_a_kyoto_2_41->n39_a_kyoto_2_44 n39_a_kyoto_2_46 IP-INF-PRD n39_a_kyoto_2_41->n39_a_kyoto_2_46 n39_a_kyoto_2_42->n39_a_kyoto_2_43 n39_a_kyoto_2_45 *ICH*-174 n39_a_kyoto_2_44->n39_a_kyoto_2_45 n39_a_kyoto_2_46->n39_a_kyoto_2_47 n39_a_kyoto_2_49 D;_nphd_ n39_a_kyoto_2_48->n39_a_kyoto_2_49 n39_a_kyoto_2_49->n39_a_kyoto_2_50 n39_a_kyoto_2_52 TO n39_a_kyoto_2_51->n39_a_kyoto_2_52 n39_a_kyoto_2_54 VB;_Tn_ n39_a_kyoto_2_51->n39_a_kyoto_2_54 n39_a_kyoto_2_56 NP-OB1 n39_a_kyoto_2_51->n39_a_kyoto_2_56 n39_a_kyoto_2_52->n39_a_kyoto_2_53 n39_a_kyoto_2_54->n39_a_kyoto_2_55 n39_a_kyoto_2_57 N n39_a_kyoto_2_56->n39_a_kyoto_2_57 n39_a_kyoto_2_57->n39_a_kyoto_2_58 n39_a_kyoto_2_59->n39_a_kyoto_2_60 
( (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))