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).
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).
fof(formula,axiom,
? [R_0035_0001__ENLIGHTENMENT,R_0035_0007__THE_R_0035_0008__MASTER,R_0035_0010__THE_R_0035_0011__DISCIPLE,X_000_35_A_KYOTO_2_12,R_0035_0004__TO_R_0035_0005__PASS,R_0035_0013__A_R_0035_0014__CANDLE_R_0035_0015__FLAME,R_0035_0018__A_R_0035_0019__CANDLE,R_0035_0016__PASSES,R_0035_0012__AS,Z_000_35_A_KYOTO_2_8,R_0035_0002__IS_R_0035_0003__THOUGHT,R_0035_0022__UNLIT,R_0035_0020__THAT_R_0035_0021__IS,R_0035_0025__DENTOU,Z_000_35_A_KYOTO_2_67,R_0035_0024__CALLED] :
( r_0035_0001__Enlightenment(R_0035_0001__ENLIGHTENMENT)
& r_0035_0007__the_r_0035_0008__master(R_0035_0007__THE_R_0035_0008__MASTER)
& r_0035_0010__the_r_0035_0011__disciple(R_0035_0010__THE_R_0035_0011__DISCIPLE)
& r_0035_0013__a_r_0035_0014__candle_r_0035_0015__flame(R_0035_0013__A_R_0035_0014__CANDLE_R_0035_0015__FLAME)
& r_0035_0018__a_r_0035_0019__candle(R_0035_0018__A_R_0035_0019__CANDLE)
& r_0035_0022__unlit(R_0035_0022__UNLIT)
& r_0035_0025__Dentou(R_0035_0025__DENTOU)
& x_000_35_a_kyoto_2_12(X_000_35_A_KYOTO_2_12)
& z_000_35_a_kyoto_2_67(Z_000_35_A_KYOTO_2_67)
& z_000_35_a_kyoto_2_8(Z_000_35_A_KYOTO_2_8)
& r_0035_0024__called(R_0035_0024__CALLED)
& has_arg0(R_0035_0024__CALLED,Z_000_35_A_KYOTO_2_67)
& has_prd(R_0035_0024__CALLED,R_0035_0025__DENTOU)
& has_arg1(R_0035_0024__CALLED,R_0035_0018__A_R_0035_0019__CANDLE)
& r_0035_0020__that_r_0035_0021__is(R_0035_0020__THAT_R_0035_0021__IS)
& has_prd(R_0035_0020__THAT_R_0035_0021__IS,R_0035_0022__UNLIT)
& has_arg0(R_0035_0020__THAT_R_0035_0021__IS,R_0035_0018__A_R_0035_0019__CANDLE)
& r_0035_0002__is_r_0035_0003__thought(R_0035_0002__IS_R_0035_0003__THOUGHT)
& has_arg0(R_0035_0002__IS_R_0035_0003__THOUGHT,Z_000_35_A_KYOTO_2_8)
& has_prd(R_0035_0002__IS_R_0035_0003__THOUGHT,R_0035_0012__AS)
& r_0035_0012__as(R_0035_0012__AS)
& has_conj1(R_0035_0012__AS,R_0035_0016__PASSES)
& r_0035_0016__passes(R_0035_0016__PASSES)
& has_r_0035_0017__to_nim49(R_0035_0016__PASSES,R_0035_0018__A_R_0035_0019__CANDLE)
& has_arg0(R_0035_0016__PASSES,R_0035_0013__A_R_0035_0014__CANDLE_R_0035_0015__FLAME)
& has_conj2(R_0035_0012__AS,R_0035_0004__TO_R_0035_0005__PASS)
& r_0035_0004__to_r_0035_0005__pass(R_0035_0004__TO_R_0035_0005__PASS)
& has_arg0(R_0035_0004__TO_R_0035_0005__PASS,X_000_35_A_KYOTO_2_12)
& has_r_0035_0009__to_nim28(R_0035_0004__TO_R_0035_0005__PASS,R_0035_0010__THE_R_0035_0011__DISCIPLE)
& has_r_0035_0006__from_nim20(R_0035_0004__TO_R_0035_0005__PASS,R_0035_0007__THE_R_0035_0008__MASTER)
& has_arg1(R_0035_0002__IS_R_0035_0003__THOUGHT,R_0035_0001__ENLIGHTENMENT) ) ).
( (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))