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_0024__called called z_000_35_a_kyoto_2_67 r_0035_0024__called->z_000_35_a_kyoto_2_67 [arg0] r_0035_0025__Dentou Dentou r_0035_0024__called->r_0035_0025__Dentou [prd] r_0035_0018__a_r_0035_0019__candle a candle r_0035_0024__called->r_0035_0018__a_r_0035_0019__candle [arg1] 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_0016__passes passes r_0035_0016__passes->r_0035_0018__a_r_0035_0019__candle to [nim] 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_0012__as as r_0035_0012__as->r_0035_0016__passes [conj1] r_0035_0004__to_r_0035_0005__pass to pass r_0035_0012__as->r_0035_0004__to_r_0035_0005__pass [conj2] 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_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] 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_0002__is_r_0035_0003__thought is thought 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_0001__Enlightenment Enlightenment r_0035_0002__is_r_0035_0003__thought->r_0035_0001__Enlightenment [arg1] 
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__1_1_1_1 Enlightenment n35_a_kyoto_2__1_2_1 is n35_a_kyoto_2__1_3_1_1 * n35_a_kyoto_2__1_3_2_1 thought n35_a_kyoto_2__1_3_3_1_1 to n35_a_kyoto_2__1_3_3_2_1 pass n35_a_kyoto_2__1_3_3_3_1_1 from n35_a_kyoto_2__1_3_3_3_2_1_1 the n35_a_kyoto_2__1_3_3_3_2_2_1 master n35_a_kyoto_2__1_3_3_4_1_1 to n35_a_kyoto_2__1_3_3_4_2_1_1 the n35_a_kyoto_2__1_3_3_4_2_2_1 disciple n35_a_kyoto_2__1_3_3_5_1_1 as n35_a_kyoto_2__1_3_3_5_2_1_1_1 a n35_a_kyoto_2__1_3_3_5_2_1_2_1 candle n35_a_kyoto_2__1_3_3_5_2_1_3_1 flame n35_a_kyoto_2__1_3_3_5_2_2_1 passes n35_a_kyoto_2__1_3_3_5_2_3_1_1 to n35_a_kyoto_2__1_3_3_5_2_3_2_1_1 a n35_a_kyoto_2__1_3_3_5_2_3_2_2_1 candle n35_a_kyoto_2__1_3_3_5_2_3_2_3_1_1 that n35_a_kyoto_2__1_3_3_5_2_3_2_3_2_1 *T* n35_a_kyoto_2__1_3_3_5_2_3_2_3_3_1 is n35_a_kyoto_2__1_3_3_5_2_3_2_3_4_1_1 unlit n35_a_kyoto_2__1_3_3_5_2_3_2_4_1 -LRB- n35_a_kyoto_2__1_3_3_5_2_3_2_5_1_1 * n35_a_kyoto_2__1_3_3_5_2_3_2_5_2_1 called n35_a_kyoto_2__1_3_3_5_2_3_2_5_3_1_1 Dentou n35_a_kyoto_2__1_3_3_5_2_3_2_6_1 -RRB- n35_a_kyoto_2__1_4_1 . n35_a_kyoto_2__1 IP-MAT n35_a_kyoto_2__1_1 NP-SBJ n35_a_kyoto_2__1->n35_a_kyoto_2__1_1 n35_a_kyoto_2__1_2 BEP;_cat_VePASS_ n35_a_kyoto_2__1->n35_a_kyoto_2__1_2 n35_a_kyoto_2__1_3 IP-PPL-CAT n35_a_kyoto_2__1->n35_a_kyoto_2__1_3 n35_a_kyoto_2__1_4 PUNC n35_a_kyoto_2__1->n35_a_kyoto_2__1_4 n35_a_kyoto_2__1_1_1 N n35_a_kyoto_2__1_1->n35_a_kyoto_2__1_1_1 n35_a_kyoto_2__1_1_1->n35_a_kyoto_2__1_1_1_1 n35_a_kyoto_2__1_2->n35_a_kyoto_2__1_2_1 n35_a_kyoto_2__1_3_1 NP-LGS n35_a_kyoto_2__1_3->n35_a_kyoto_2__1_3_1 n35_a_kyoto_2__1_3_2 VVN;_Cn.t_ n35_a_kyoto_2__1_3->n35_a_kyoto_2__1_3_2 n35_a_kyoto_2__1_3_3 IP-INF-PRD n35_a_kyoto_2__1_3->n35_a_kyoto_2__1_3_3 n35_a_kyoto_2__1_3_1->n35_a_kyoto_2__1_3_1_1 n35_a_kyoto_2__1_3_2->n35_a_kyoto_2__1_3_2_1 n35_a_kyoto_2__1_3_3_1 TO n35_a_kyoto_2__1_3_3->n35_a_kyoto_2__1_3_3_1 n35_a_kyoto_2__1_3_3_2 VB;__ n35_a_kyoto_2__1_3_3->n35_a_kyoto_2__1_3_3_2 n35_a_kyoto_2__1_3_3_3 PP-NIM n35_a_kyoto_2__1_3_3->n35_a_kyoto_2__1_3_3_3 n35_a_kyoto_2__1_3_3_4 PP-NIM n35_a_kyoto_2__1_3_3->n35_a_kyoto_2__1_3_3_4 n35_a_kyoto_2__1_3_3_5 PP-SCON n35_a_kyoto_2__1_3_3->n35_a_kyoto_2__1_3_3_5 n35_a_kyoto_2__1_3_3_1->n35_a_kyoto_2__1_3_3_1_1 n35_a_kyoto_2__1_3_3_2->n35_a_kyoto_2__1_3_3_2_1 n35_a_kyoto_2__1_3_3_3_1 P-ROLE n35_a_kyoto_2__1_3_3_3->n35_a_kyoto_2__1_3_3_3_1 n35_a_kyoto_2__1_3_3_3_2 NP n35_a_kyoto_2__1_3_3_3->n35_a_kyoto_2__1_3_3_3_2 n35_a_kyoto_2__1_3_3_3_1->n35_a_kyoto_2__1_3_3_3_1_1 n35_a_kyoto_2__1_3_3_3_2_1 D n35_a_kyoto_2__1_3_3_3_2->n35_a_kyoto_2__1_3_3_3_2_1 n35_a_kyoto_2__1_3_3_3_2_2 N n35_a_kyoto_2__1_3_3_3_2->n35_a_kyoto_2__1_3_3_3_2_2 n35_a_kyoto_2__1_3_3_3_2_1->n35_a_kyoto_2__1_3_3_3_2_1_1 n35_a_kyoto_2__1_3_3_3_2_2->n35_a_kyoto_2__1_3_3_3_2_2_1 n35_a_kyoto_2__1_3_3_4_1 P-ROLE n35_a_kyoto_2__1_3_3_4->n35_a_kyoto_2__1_3_3_4_1 n35_a_kyoto_2__1_3_3_4_2 NP n35_a_kyoto_2__1_3_3_4->n35_a_kyoto_2__1_3_3_4_2 n35_a_kyoto_2__1_3_3_4_1->n35_a_kyoto_2__1_3_3_4_1_1 n35_a_kyoto_2__1_3_3_4_2_1 D n35_a_kyoto_2__1_3_3_4_2->n35_a_kyoto_2__1_3_3_4_2_1 n35_a_kyoto_2__1_3_3_4_2_2 N n35_a_kyoto_2__1_3_3_4_2->n35_a_kyoto_2__1_3_3_4_2_2 n35_a_kyoto_2__1_3_3_4_2_1->n35_a_kyoto_2__1_3_3_4_2_1_1 n35_a_kyoto_2__1_3_3_4_2_2->n35_a_kyoto_2__1_3_3_4_2_2_1 n35_a_kyoto_2__1_3_3_5_1 P-CONN n35_a_kyoto_2__1_3_3_5->n35_a_kyoto_2__1_3_3_5_1 n35_a_kyoto_2__1_3_3_5_2 IP-ADV n35_a_kyoto_2__1_3_3_5->n35_a_kyoto_2__1_3_3_5_2 n35_a_kyoto_2__1_3_3_5_1->n35_a_kyoto_2__1_3_3_5_1_1 n35_a_kyoto_2__1_3_3_5_2_1 NP-SBJ n35_a_kyoto_2__1_3_3_5_2->n35_a_kyoto_2__1_3_3_5_2_1 n35_a_kyoto_2__1_3_3_5_2_2 VBP;__ n35_a_kyoto_2__1_3_3_5_2->n35_a_kyoto_2__1_3_3_5_2_2 n35_a_kyoto_2__1_3_3_5_2_3 PP-NIM n35_a_kyoto_2__1_3_3_5_2->n35_a_kyoto_2__1_3_3_5_2_3 n35_a_kyoto_2__1_3_3_5_2_1_1 D n35_a_kyoto_2__1_3_3_5_2_1->n35_a_kyoto_2__1_3_3_5_2_1_1 n35_a_kyoto_2__1_3_3_5_2_1_2 N n35_a_kyoto_2__1_3_3_5_2_1->n35_a_kyoto_2__1_3_3_5_2_1_2 n35_a_kyoto_2__1_3_3_5_2_1_3 N n35_a_kyoto_2__1_3_3_5_2_1->n35_a_kyoto_2__1_3_3_5_2_1_3 n35_a_kyoto_2__1_3_3_5_2_1_1->n35_a_kyoto_2__1_3_3_5_2_1_1_1 n35_a_kyoto_2__1_3_3_5_2_1_2->n35_a_kyoto_2__1_3_3_5_2_1_2_1 n35_a_kyoto_2__1_3_3_5_2_1_3->n35_a_kyoto_2__1_3_3_5_2_1_3_1 n35_a_kyoto_2__1_3_3_5_2_2->n35_a_kyoto_2__1_3_3_5_2_2_1 n35_a_kyoto_2__1_3_3_5_2_3_1 P-ROLE n35_a_kyoto_2__1_3_3_5_2_3->n35_a_kyoto_2__1_3_3_5_2_3_1 n35_a_kyoto_2__1_3_3_5_2_3_2 NP n35_a_kyoto_2__1_3_3_5_2_3->n35_a_kyoto_2__1_3_3_5_2_3_2 n35_a_kyoto_2__1_3_3_5_2_3_1->n35_a_kyoto_2__1_3_3_5_2_3_1_1 n35_a_kyoto_2__1_3_3_5_2_3_2_1 D n35_a_kyoto_2__1_3_3_5_2_3_2->n35_a_kyoto_2__1_3_3_5_2_3_2_1 n35_a_kyoto_2__1_3_3_5_2_3_2_2 N n35_a_kyoto_2__1_3_3_5_2_3_2->n35_a_kyoto_2__1_3_3_5_2_3_2_2 n35_a_kyoto_2__1_3_3_5_2_3_2_3 IP-REL n35_a_kyoto_2__1_3_3_5_2_3_2->n35_a_kyoto_2__1_3_3_5_2_3_2_3 n35_a_kyoto_2__1_3_3_5_2_3_2_4 PULB n35_a_kyoto_2__1_3_3_5_2_3_2->n35_a_kyoto_2__1_3_3_5_2_3_2_4 n35_a_kyoto_2__1_3_3_5_2_3_2_5 IP-PPL n35_a_kyoto_2__1_3_3_5_2_3_2->n35_a_kyoto_2__1_3_3_5_2_3_2_5 n35_a_kyoto_2__1_3_3_5_2_3_2_6 PURB n35_a_kyoto_2__1_3_3_5_2_3_2->n35_a_kyoto_2__1_3_3_5_2_3_2_6 n35_a_kyoto_2__1_3_3_5_2_3_2_1->n35_a_kyoto_2__1_3_3_5_2_3_2_1_1 n35_a_kyoto_2__1_3_3_5_2_3_2_2->n35_a_kyoto_2__1_3_3_5_2_3_2_2_1 n35_a_kyoto_2__1_3_3_5_2_3_2_3_1 C n35_a_kyoto_2__1_3_3_5_2_3_2_3->n35_a_kyoto_2__1_3_3_5_2_3_2_3_1 n35_a_kyoto_2__1_3_3_5_2_3_2_3_2 NP-SBJ n35_a_kyoto_2__1_3_3_5_2_3_2_3->n35_a_kyoto_2__1_3_3_5_2_3_2_3_2 n35_a_kyoto_2__1_3_3_5_2_3_2_3_3 BEP;_La_ n35_a_kyoto_2__1_3_3_5_2_3_2_3->n35_a_kyoto_2__1_3_3_5_2_3_2_3_3 n35_a_kyoto_2__1_3_3_5_2_3_2_3_4 ADJP-PRD n35_a_kyoto_2__1_3_3_5_2_3_2_3->n35_a_kyoto_2__1_3_3_5_2_3_2_3_4 n35_a_kyoto_2__1_3_3_5_2_3_2_3_1->n35_a_kyoto_2__1_3_3_5_2_3_2_3_1_1 n35_a_kyoto_2__1_3_3_5_2_3_2_3_2->n35_a_kyoto_2__1_3_3_5_2_3_2_3_2_1 n35_a_kyoto_2__1_3_3_5_2_3_2_3_3->n35_a_kyoto_2__1_3_3_5_2_3_2_3_3_1 n35_a_kyoto_2__1_3_3_5_2_3_2_3_4_1 ADJ n35_a_kyoto_2__1_3_3_5_2_3_2_3_4->n35_a_kyoto_2__1_3_3_5_2_3_2_3_4_1 n35_a_kyoto_2__1_3_3_5_2_3_2_3_4_1->n35_a_kyoto_2__1_3_3_5_2_3_2_3_4_1_1 n35_a_kyoto_2__1_3_3_5_2_3_2_4->n35_a_kyoto_2__1_3_3_5_2_3_2_4_1 n35_a_kyoto_2__1_3_3_5_2_3_2_5_1 NP-LGS n35_a_kyoto_2__1_3_3_5_2_3_2_5->n35_a_kyoto_2__1_3_3_5_2_3_2_5_1 n35_a_kyoto_2__1_3_3_5_2_3_2_5_2 VVN;_Cn.n_ n35_a_kyoto_2__1_3_3_5_2_3_2_5->n35_a_kyoto_2__1_3_3_5_2_3_2_5_2 n35_a_kyoto_2__1_3_3_5_2_3_2_5_3 NP-PRD n35_a_kyoto_2__1_3_3_5_2_3_2_5->n35_a_kyoto_2__1_3_3_5_2_3_2_5_3 n35_a_kyoto_2__1_3_3_5_2_3_2_5_1->n35_a_kyoto_2__1_3_3_5_2_3_2_5_1_1 n35_a_kyoto_2__1_3_3_5_2_3_2_5_2->n35_a_kyoto_2__1_3_3_5_2_3_2_5_2_1 n35_a_kyoto_2__1_3_3_5_2_3_2_5_3_1 NPR n35_a_kyoto_2__1_3_3_5_2_3_2_5_3->n35_a_kyoto_2__1_3_3_5_2_3_2_5_3_1 n35_a_kyoto_2__1_3_3_5_2_3_2_5_3_1->n35_a_kyoto_2__1_3_3_5_2_3_2_5_3_1_1 n35_a_kyoto_2__1_3_3_5_2_3_2_6->n35_a_kyoto_2__1_3_3_5_2_3_2_6_1 n35_a_kyoto_2__1_4->n35_a_kyoto_2__1_4_1 
( (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))