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).
( (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))
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_0035_5017___star_,arg0).
arc(r_0035_0005__pass,r_0035_0007__the_r_0035_0008__master,r_0035_0006__from__nim).
arc(r_0035_0005__pass,r_0035_0010__the_r_0035_0011__disciple,r_0035_0009__to__nim).
arc(r_0035_0005__pass,z_0035_5005,arg0).
arc(r_0035_0012__as,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__nim).
arc(r_0035_0021__is,r_0035_0018__a_r_0035_0019__candle,inv_arg0).
arc(r_0035_0021__is,r_0035_0022__unlit,prd).
arc(r_0035_0024__called,r_0035_0018__a_r_0035_0019__candle,inv_arg1).
arc(r_0035_0024__called,r_0035_0025__Dentou,prd).
arc(r_0035_0024__called,z_0035_5011___star_,arg0).
fof(formula,axiom,
? [R_0035_0001__ENLIGHTENMENT,R_0035_0007__THE_R_0035_0008__MASTER,R_0035_0010__THE_R_0035_0011__DISCIPLE,Z_0035_5005,R_0035_0005__PASS,R_0035_0013__A_R_0035_0014__CANDLE_R_0035_0015__FLAME,R_0035_0022__UNLIT,R_0035_0021__IS,R_0035_0025__DENTOU,Z_0035_5011___STAR_,R_0035_0024__CALLED,R_0035_0018__A_R_0035_0019__CANDLE,R_0035_0016__PASSES,R_0035_0012__AS,Z_0035_5017___STAR_,R_0035_0002__IS_R_0035_0003__THOUGHT] :
( 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_0022__unlit(R_0035_0022__UNLIT)
& r_0035_0025__Dentou(R_0035_0025__DENTOU)
& z_0035_5005(Z_0035_5005)
& z_0035_5011___star_(Z_0035_5011___STAR_)
& z_0035_5017___star_(Z_0035_5017___STAR_)
& 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_0035_5017___STAR_)
& 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__nim(R_0035_0016__PASSES,R_0035_0018__A_R_0035_0019__CANDLE)
& r_0035_0018__a_r_0035_0019__candle(R_0035_0018__A_R_0035_0019__CANDLE)
& has_inv_arg1(R_0035_0018__A_R_0035_0019__CANDLE,R_0035_0024__CALLED)
& r_0035_0024__called(R_0035_0024__CALLED)
& has_arg0(R_0035_0024__CALLED,Z_0035_5011___STAR_)
& has_prd(R_0035_0024__CALLED,R_0035_0025__DENTOU)
& has_inv_arg0(R_0035_0018__A_R_0035_0019__CANDLE,R_0035_0021__IS)
& r_0035_0021__is(R_0035_0021__IS)
& has_prd(R_0035_0021__IS,R_0035_0022__UNLIT)
& 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_0005__PASS)
& r_0035_0005__pass(R_0035_0005__PASS)
& has_arg0(R_0035_0005__PASS,Z_0035_5005)
& has_r_0035_0009__to__nim(R_0035_0005__PASS,R_0035_0010__THE_R_0035_0011__DISCIPLE)
& has_r_0035_0006__from__nim(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) ) ).