TSPC 39_a_kyoto

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

( (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))

arc(r_0039_0004__does_r_0039_0006__mean,r_0039_0001__Actually,nim).
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,attrib).
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_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_0017__gain,prd).
arc(r_0039_0017__gain,r_0039_0018__enlightenment,arg1).
arc(r_0039_0017__gain,z_0039_5007,arg0).

fof(formula,axiom,
    ~ ? [R_0039_0001__ACTUALLY,R_0039_0003__IT,R_0039_0009__ENLIGHTENED,R_0039_0008__AN_R_0039_0010__ZEN_R_0039_0011__MASTER,R_0039_0015__SOMEONE,R_0039_0018__ENLIGHTENMENT,Z_0039_5007,R_0039_0017__GAIN,R_0039_0012__INSTRUCTS,R_0039_0014__ENABLES,R_0039_0013__AND,R_0039_0004__DOES_R_0039_0006__MEAN] :
        ( r_0039_0001__Actually(R_0039_0001__ACTUALLY)
        & r_0039_0003__it(R_0039_0003__IT)
        & r_0039_0009__enlightened(R_0039_0009__ENLIGHTENED)
        & r_0039_0015__someone(R_0039_0015__SOMEONE)
        & r_0039_0018__enlightenment(R_0039_0018__ENLIGHTENMENT)
        & z_0039_5007(Z_0039_5007)
        & r_0039_0004__does_r_0039_0006__mean(R_0039_0004__DOES_R_0039_0006__MEAN)
        & has_arg1(R_0039_0004__DOES_R_0039_0006__MEAN,R_0039_0013__AND)
        & r_0039_0013__and(R_0039_0013__AND)
        & has_conj2(R_0039_0013__AND,R_0039_0014__ENABLES)
        & r_0039_0014__enables(R_0039_0014__ENABLES)
        & has_prd(R_0039_0014__ENABLES,R_0039_0017__GAIN)
        & r_0039_0017__gain(R_0039_0017__GAIN)
        & has_arg0(R_0039_0017__GAIN,Z_0039_5007)
        & has_arg1(R_0039_0017__GAIN,R_0039_0018__ENLIGHTENMENT)
        & has_arg1(R_0039_0014__ENABLES,R_0039_0015__SOMEONE)
        & has_arg0(R_0039_0014__ENABLES,R_0039_0008__AN_R_0039_0010__ZEN_R_0039_0011__MASTER)
        & r_0039_0008__an_r_0039_0010__Zen_r_0039_0011__master(R_0039_0008__AN_R_0039_0010__ZEN_R_0039_0011__MASTER)
        & has_attrib(R_0039_0008__AN_R_0039_0010__ZEN_R_0039_0011__MASTER,R_0039_0009__ENLIGHTENED)
        & has_conj1(R_0039_0013__AND,R_0039_0012__INSTRUCTS)
        & r_0039_0012__instructs(R_0039_0012__INSTRUCTS)
        & has_arg1(R_0039_0012__INSTRUCTS,R_0039_0017__GAIN)
        & has_arg2(R_0039_0012__INSTRUCTS,R_0039_0015__SOMEONE)
        & has_arg0(R_0039_0012__INSTRUCTS,R_0039_0008__AN_R_0039_0010__ZEN_R_0039_0011__MASTER)
        & has_arg0(R_0039_0004__DOES_R_0039_0006__MEAN,R_0039_0003__IT)
        & has_nim(R_0039_0004__DOES_R_0039_0006__MEAN,R_0039_0001__ACTUALLY) ) ).