Context                Previous, Next                Top


35_a_kyoto_2
Enlightenment is thought to pass from the master to the disciple as a candle flame passes to a candle that is unlit (called Dentou).

%3 r_0035_0002__is is r_0035_0003__thought thought r_0035_0002__is->r_0035_0003__thought [scope] r_0035_0001__Enlightenment Enlightenment r_0035_0003__thought->r_0035_0001__Enlightenment [arg1] r_0035_0012__as as r_0035_0003__thought->r_0035_0012__as [prd] z_000_35_a_kyoto_2_8 r_0035_0003__thought->z_000_35_a_kyoto_2_8 [arg0] r_0035_0004__to_r_0035_0005__pass to pass r_0035_0012__as->r_0035_0004__to_r_0035_0005__pass [scope] r_0035_0016__passes passes r_0035_0012__as->r_0035_0016__passes [restriction] r_0035_0007__the_r_0035_0008__master the master r_0035_0004__to_r_0035_0005__pass->r_0035_0007__the_r_0035_0008__master from [nim] r_0035_0010__the_r_0035_0011__disciple the disciple r_0035_0004__to_r_0035_0005__pass->r_0035_0010__the_r_0035_0011__disciple to [nim] x_000_35_a_kyoto_2_12 __ r_0035_0004__to_r_0035_0005__pass->x_000_35_a_kyoto_2_12 [arg0] r_0035_0013__a_r_0035_0014__candle_r_0035_0015__flame a candle flame r_0035_0016__passes->r_0035_0013__a_r_0035_0014__candle_r_0035_0015__flame [arg0] r_0035_0018__a_r_0035_0019__candle a candle r_0035_0016__passes->r_0035_0018__a_r_0035_0019__candle to [nim] r_0035_0020__that_r_0035_0021__is that is r_0035_0020__that_r_0035_0021__is->r_0035_0018__a_r_0035_0019__candle [arg0] r_0035_0022__unlit unlit r_0035_0020__that_r_0035_0021__is->r_0035_0022__unlit [prd] r_0035_0024__called called r_0035_0024__called->r_0035_0018__a_r_0035_0019__candle [arg1] r_0035_0025__Dentou Dentou r_0035_0024__called->r_0035_0025__Dentou [prd] z_000_35_a_kyoto_2_67 r_0035_0024__called->z_000_35_a_kyoto_2_67 [arg0] 
arc(r_0035_0002__is, r_0035_0003__thought, scope).
arc(r_0035_0003__thought, r_0035_0001__Enlightenment, arg1).
arc(r_0035_0003__thought, r_0035_0012__as, prd).
arc(r_0035_0003__thought, z_000_35_a_kyoto_2_8, arg0).
arc(r_0035_0004__to_r_0035_0005__pass, r_0035_0007__the_r_0035_0008__master, r_0035_0006__from_nim20).
arc(r_0035_0004__to_r_0035_0005__pass, r_0035_0010__the_r_0035_0011__disciple, r_0035_0009__to_nim28).
arc(r_0035_0004__to_r_0035_0005__pass, x_000_35_a_kyoto_2_12, arg0).
arc(r_0035_0012__as, r_0035_0004__to_r_0035_0005__pass, scope).
arc(r_0035_0012__as, r_0035_0016__passes, restriction).
arc(r_0035_0016__passes, r_0035_0013__a_r_0035_0014__candle_r_0035_0015__flame, arg0).
arc(r_0035_0016__passes, r_0035_0018__a_r_0035_0019__candle, r_0035_0017__to_nim49).
arc(r_0035_0020__that_r_0035_0021__is, r_0035_0018__a_r_0035_0019__candle, arg0).
arc(r_0035_0020__that_r_0035_0021__is, r_0035_0022__unlit, prd).
arc(r_0035_0024__called, r_0035_0018__a_r_0035_0019__candle, arg1).
arc(r_0035_0024__called, r_0035_0025__Dentou, prd).
arc(r_0035_0024__called, z_000_35_a_kyoto_2_67, arg0).


%3 r_0035_0002__is_r_0035_0003__thought is thought r_0035_0001__Enlightenment Enlightenment r_0035_0002__is_r_0035_0003__thought->r_0035_0001__Enlightenment [arg1] r_0035_0012__as as r_0035_0002__is_r_0035_0003__thought->r_0035_0012__as [prd] z_000_35_a_kyoto_2_8 r_0035_0002__is_r_0035_0003__thought->z_000_35_a_kyoto_2_8 [arg0] r_0035_0004__to_r_0035_0005__pass to pass r_0035_0012__as->r_0035_0004__to_r_0035_0005__pass [conj2] r_0035_0016__passes passes r_0035_0012__as->r_0035_0016__passes [conj1] r_0035_0007__the_r_0035_0008__master the master r_0035_0004__to_r_0035_0005__pass->r_0035_0007__the_r_0035_0008__master from [nim] r_0035_0010__the_r_0035_0011__disciple the disciple r_0035_0004__to_r_0035_0005__pass->r_0035_0010__the_r_0035_0011__disciple to [nim] x_000_35_a_kyoto_2_12 __ r_0035_0004__to_r_0035_0005__pass->x_000_35_a_kyoto_2_12 [arg0] r_0035_0013__a_r_0035_0014__candle_r_0035_0015__flame a candle flame r_0035_0016__passes->r_0035_0013__a_r_0035_0014__candle_r_0035_0015__flame [arg0] r_0035_0018__a_r_0035_0019__candle a candle r_0035_0016__passes->r_0035_0018__a_r_0035_0019__candle to [nim] r_0035_0020__that_r_0035_0021__is that is r_0035_0020__that_r_0035_0021__is->r_0035_0018__a_r_0035_0019__candle [arg0] r_0035_0022__unlit unlit r_0035_0020__that_r_0035_0021__is->r_0035_0022__unlit [prd] r_0035_0024__called called r_0035_0024__called->r_0035_0018__a_r_0035_0019__candle [arg1] r_0035_0025__Dentou Dentou r_0035_0024__called->r_0035_0025__Dentou [prd] z_000_35_a_kyoto_2_67 r_0035_0024__called->z_000_35_a_kyoto_2_67 [arg0] 
fof(formula,axiom,
    ? [R_35_2_IS_THOUGHT,Z_35_A_KYOTO_2_8,R_35_1_ENLIGHTENMENT,R_35_12_AS,R_35_16_PASSES,R_35_13_A_CANDLE_FLAME,R_35_4_TO_PASS,X_35_A_KYOTO_2_12,R_35_7_THE_MASTER,R_35_10_THE_DISCIPLE,R_35_20_THAT_IS,R_35_22_UNLIT,R_35_24_CALLED,Z_35_A_KYOTO_2_67,R_35_18_A_CANDLE,R_35_25_DENTOU] :
      ( enlightenment(R_35_1_ENLIGHTENMENT)
      & a_candle_flame(R_35_13_A_CANDLE_FLAME)
      & the_master(R_35_7_THE_MASTER)
      & the_disciple(R_35_10_THE_DISCIPLE)
      & unlit(R_35_22_UNLIT)
      & a_candle(R_35_18_A_CANDLE)
      & dentou(R_35_25_DENTOU)
      & is_thought(R_35_2_IS_THOUGHT,Z_35_A_KYOTO_2_8,R_35_1_ENLIGHTENMENT,R_35_12_AS)
      & as(R_35_12_AS)
      & conj1(R_35_12_AS,R_35_16_PASSES)
      & passes(R_35_16_PASSES,R_35_13_A_CANDLE_FLAME)
      & to_nim49(R_35_16_PASSES,R_35_18_A_CANDLE)
      & conj2(R_35_12_AS,R_35_4_TO_PASS)
      & to_pass(R_35_4_TO_PASS,X_35_A_KYOTO_2_12)
      & from_nim20(R_35_4_TO_PASS,R_35_7_THE_MASTER)
      & to_nim28(R_35_4_TO_PASS,R_35_10_THE_DISCIPLE)
      & that_is(R_35_20_THAT_IS,R_35_18_A_CANDLE,R_35_22_UNLIT)
      & called(R_35_24_CALLED,Z_35_A_KYOTO_2_67,R_35_18_A_CANDLE,R_35_25_DENTOU) ) ).


n35_a_kyoto_2 n35_a_kyoto_2_4 Enlightenment n35_a_kyoto_2_6 is n35_a_kyoto_2_9 * n35_a_kyoto_2_11 thought n35_a_kyoto_2_14 to n35_a_kyoto_2_16 pass n35_a_kyoto_2_19 from n35_a_kyoto_2_22 the n35_a_kyoto_2_24 master n35_a_kyoto_2_27 to n35_a_kyoto_2_30 the n35_a_kyoto_2_32 disciple n35_a_kyoto_2_35 as n35_a_kyoto_2_39 a n35_a_kyoto_2_41 candle n35_a_kyoto_2_43 flame n35_a_kyoto_2_45 passes n35_a_kyoto_2_48 to n35_a_kyoto_2_51 a n35_a_kyoto_2_53 candle n35_a_kyoto_2_56 that n35_a_kyoto_2_58 *T* n35_a_kyoto_2_60 is n35_a_kyoto_2_63 unlit n35_a_kyoto_2_65 -LRB- n35_a_kyoto_2_68 * n35_a_kyoto_2_70 called n35_a_kyoto_2_73 Dentou n35_a_kyoto_2_75 -RRB- n35_a_kyoto_2_77 . n35_a_kyoto_2_1 IP-MAT n35_a_kyoto_2_2 NP-SBJ n35_a_kyoto_2_1->n35_a_kyoto_2_2 n35_a_kyoto_2_5 BEP;_cat_VePASS_ n35_a_kyoto_2_1->n35_a_kyoto_2_5 n35_a_kyoto_2_7 IP-PPL-CAT n35_a_kyoto_2_1->n35_a_kyoto_2_7 n35_a_kyoto_2_76 PUNC n35_a_kyoto_2_1->n35_a_kyoto_2_76 n35_a_kyoto_2_3 N n35_a_kyoto_2_2->n35_a_kyoto_2_3 n35_a_kyoto_2_3->n35_a_kyoto_2_4 n35_a_kyoto_2_5->n35_a_kyoto_2_6 n35_a_kyoto_2_8 NP-LGS n35_a_kyoto_2_7->n35_a_kyoto_2_8 n35_a_kyoto_2_10 VVN;_Cn.t_ n35_a_kyoto_2_7->n35_a_kyoto_2_10 n35_a_kyoto_2_12 IP-INF-PRD n35_a_kyoto_2_7->n35_a_kyoto_2_12 n35_a_kyoto_2_8->n35_a_kyoto_2_9 n35_a_kyoto_2_10->n35_a_kyoto_2_11 n35_a_kyoto_2_13 TO n35_a_kyoto_2_12->n35_a_kyoto_2_13 n35_a_kyoto_2_15 VB;__ n35_a_kyoto_2_12->n35_a_kyoto_2_15 n35_a_kyoto_2_17 PP-NIM n35_a_kyoto_2_12->n35_a_kyoto_2_17 n35_a_kyoto_2_25 PP-NIM n35_a_kyoto_2_12->n35_a_kyoto_2_25 n35_a_kyoto_2_33 PP-SCON n35_a_kyoto_2_12->n35_a_kyoto_2_33 n35_a_kyoto_2_13->n35_a_kyoto_2_14 n35_a_kyoto_2_15->n35_a_kyoto_2_16 n35_a_kyoto_2_18 P-ROLE n35_a_kyoto_2_17->n35_a_kyoto_2_18 n35_a_kyoto_2_20 NP n35_a_kyoto_2_17->n35_a_kyoto_2_20 n35_a_kyoto_2_18->n35_a_kyoto_2_19 n35_a_kyoto_2_21 D n35_a_kyoto_2_20->n35_a_kyoto_2_21 n35_a_kyoto_2_23 N n35_a_kyoto_2_20->n35_a_kyoto_2_23 n35_a_kyoto_2_21->n35_a_kyoto_2_22 n35_a_kyoto_2_23->n35_a_kyoto_2_24 n35_a_kyoto_2_26 P-ROLE n35_a_kyoto_2_25->n35_a_kyoto_2_26 n35_a_kyoto_2_28 NP n35_a_kyoto_2_25->n35_a_kyoto_2_28 n35_a_kyoto_2_26->n35_a_kyoto_2_27 n35_a_kyoto_2_29 D n35_a_kyoto_2_28->n35_a_kyoto_2_29 n35_a_kyoto_2_31 N n35_a_kyoto_2_28->n35_a_kyoto_2_31 n35_a_kyoto_2_29->n35_a_kyoto_2_30 n35_a_kyoto_2_31->n35_a_kyoto_2_32 n35_a_kyoto_2_34 P-CONN n35_a_kyoto_2_33->n35_a_kyoto_2_34 n35_a_kyoto_2_36 IP-ADV n35_a_kyoto_2_33->n35_a_kyoto_2_36 n35_a_kyoto_2_34->n35_a_kyoto_2_35 n35_a_kyoto_2_37 NP-SBJ n35_a_kyoto_2_36->n35_a_kyoto_2_37 n35_a_kyoto_2_44 VBP;__ n35_a_kyoto_2_36->n35_a_kyoto_2_44 n35_a_kyoto_2_46 PP-NIM n35_a_kyoto_2_36->n35_a_kyoto_2_46 n35_a_kyoto_2_38 D n35_a_kyoto_2_37->n35_a_kyoto_2_38 n35_a_kyoto_2_40 N n35_a_kyoto_2_37->n35_a_kyoto_2_40 n35_a_kyoto_2_42 N n35_a_kyoto_2_37->n35_a_kyoto_2_42 n35_a_kyoto_2_38->n35_a_kyoto_2_39 n35_a_kyoto_2_40->n35_a_kyoto_2_41 n35_a_kyoto_2_42->n35_a_kyoto_2_43 n35_a_kyoto_2_44->n35_a_kyoto_2_45 n35_a_kyoto_2_47 P-ROLE n35_a_kyoto_2_46->n35_a_kyoto_2_47 n35_a_kyoto_2_49 NP n35_a_kyoto_2_46->n35_a_kyoto_2_49 n35_a_kyoto_2_47->n35_a_kyoto_2_48 n35_a_kyoto_2_50 D n35_a_kyoto_2_49->n35_a_kyoto_2_50 n35_a_kyoto_2_52 N n35_a_kyoto_2_49->n35_a_kyoto_2_52 n35_a_kyoto_2_54 IP-REL n35_a_kyoto_2_49->n35_a_kyoto_2_54 n35_a_kyoto_2_64 PULB n35_a_kyoto_2_49->n35_a_kyoto_2_64 n35_a_kyoto_2_66 IP-PPL n35_a_kyoto_2_49->n35_a_kyoto_2_66 n35_a_kyoto_2_74 PURB n35_a_kyoto_2_49->n35_a_kyoto_2_74 n35_a_kyoto_2_50->n35_a_kyoto_2_51 n35_a_kyoto_2_52->n35_a_kyoto_2_53 n35_a_kyoto_2_55 C n35_a_kyoto_2_54->n35_a_kyoto_2_55 n35_a_kyoto_2_57 NP-SBJ n35_a_kyoto_2_54->n35_a_kyoto_2_57 n35_a_kyoto_2_59 BEP;_La_ n35_a_kyoto_2_54->n35_a_kyoto_2_59 n35_a_kyoto_2_61 ADJP-PRD n35_a_kyoto_2_54->n35_a_kyoto_2_61 n35_a_kyoto_2_55->n35_a_kyoto_2_56 n35_a_kyoto_2_57->n35_a_kyoto_2_58 n35_a_kyoto_2_59->n35_a_kyoto_2_60 n35_a_kyoto_2_62 ADJ n35_a_kyoto_2_61->n35_a_kyoto_2_62 n35_a_kyoto_2_62->n35_a_kyoto_2_63 n35_a_kyoto_2_64->n35_a_kyoto_2_65 n35_a_kyoto_2_67 NP-LGS n35_a_kyoto_2_66->n35_a_kyoto_2_67 n35_a_kyoto_2_69 VVN;_Cn.n_ n35_a_kyoto_2_66->n35_a_kyoto_2_69 n35_a_kyoto_2_71 NP-PRD n35_a_kyoto_2_66->n35_a_kyoto_2_71 n35_a_kyoto_2_67->n35_a_kyoto_2_68 n35_a_kyoto_2_69->n35_a_kyoto_2_70 n35_a_kyoto_2_72 NPR n35_a_kyoto_2_71->n35_a_kyoto_2_72 n35_a_kyoto_2_72->n35_a_kyoto_2_73 n35_a_kyoto_2_74->n35_a_kyoto_2_75 n35_a_kyoto_2_76->n35_a_kyoto_2_77 
( (IP-MAT (NP-SBJ (N Enlightenment;{enlightenment}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Cn.t_ thought;{think})
                      (IP-INF-PRD (TO to;{to})
                                  (VB;__ pass;{pass})
                                  (PP-NIM (P-ROLE from;{from})
                                          (NP (D the;{the})
                                              (N master;{master})))
                                  (PP-NIM (P-ROLE to;{to})
                                          (NP (D the;{the})
                                              (N disciple;{disciple})))
                                  (PP-SCON (P-CONN as;{as})
                                           (IP-ADV (NP-SBJ (D a;{a})
                                                           (N candle;{candle})
                                                           (N flame;{flame}))
                                                   (VBP;__ passes;{pass})
                                                   (PP-NIM (P-ROLE to;{to})
                                                           (NP (D a;{a})
                                                               (N candle;{candle})
                                                               (IP-REL (C that;{that})
                                                                       (NP-SBJ *T*)
                                                                       (BEP;_La_ is;{be})
                                                                       (ADJP-PRD (ADJ unlit;{unlit})))
                                                               (PULB -LRB-)
                                                               (IP-PPL (NP-LGS *)
                                                                       (VVN;_Cn.n_ called;{call})
                                                                       (NP-PRD (NPR Dentou;{Dentou})))
                                                               (PURB -RRB-)))))))
          (PUNC .))
  (ID 35_a_kyoto_2;BDS_00002;35))