20_a_kyoto_2
Transmission of enlightenment from masters to disciples continues down to the present day (Hassu is the disciple who inherited the teaching of the master).

%3 r_0020_0001__Transmission Transmission r_0020_0003__enlightenment enlightenment r_0020_0001__Transmission->r_0020_0003__enlightenment of r_0020_0005__masters masters r_0020_0001__Transmission->r_0020_0005__masters from r_0020_0007__disciples disciples r_0020_0001__Transmission->r_0020_0007__disciples to r_0020_0008__continues continues r_0020_0008__continues->r_0020_0001__Transmission [arg0] r_0020_0010__the_r_0020_0012__day the day r_0020_0008__continues->r_0020_0010__the_r_0020_0012__day down to [clr] r_0020_0011__present present r_0020_0010__the_r_0020_0012__day->r_0020_0011__present [attrib]
arc(r_0020_0001__Transmission, r_0020_0003__enlightenment, r_0020_0002__of).
arc(r_0020_0001__Transmission, r_0020_0005__masters, r_0020_0004__from).
arc(r_0020_0001__Transmission, r_0020_0007__disciples, r_0020_0006__to).
arc(r_0020_0008__continues, r_0020_0001__Transmission, arg0).
arc(r_0020_0008__continues, r_0020_0010__the_r_0020_0012__day, r_0020_0009__down_to_clr28).
arc(r_0020_0010__the_r_0020_0012__day, r_0020_0011__present, attrib31).



%3 r_0020_0010__the_r_0020_0012__day the day r_0020_0011__present present r_0020_0010__the_r_0020_0012__day->r_0020_0011__present [attrib] r_0020_0008__continues continues r_0020_0008__continues->r_0020_0010__the_r_0020_0012__day down to [clr] r_0020_0001__Transmission Transmission r_0020_0008__continues->r_0020_0001__Transmission [arg0] r_0020_0007__disciples disciples r_0020_0001__Transmission->r_0020_0007__disciples to r_0020_0005__masters masters r_0020_0001__Transmission->r_0020_0005__masters from r_0020_0003__enlightenment enlightenment r_0020_0001__Transmission->r_0020_0003__enlightenment of
fof(formula,axiom,
    ? [R_20_8_CONTINUES,R_20_1_TRANSMISSION,R_20_3_ENLIGHTENMENT,R_20_5_MASTERS,R_20_7_DISCIPLES,R_20_10_THE_DAY,R_20_11_PRESENT] :
      ( enlightenment(R_20_3_ENLIGHTENMENT)
      & masters(R_20_5_MASTERS)
      & disciples(R_20_7_DISCIPLES)
      & present(R_20_11_PRESENT)
      & continues(R_20_8_CONTINUES,R_20_1_TRANSMISSION)
      & transmission(R_20_1_TRANSMISSION)
      & of(R_20_1_TRANSMISSION,R_20_3_ENLIGHTENMENT)
      & from(R_20_1_TRANSMISSION,R_20_5_MASTERS)
      & to(R_20_1_TRANSMISSION,R_20_7_DISCIPLES)
      & down_to_clr28(R_20_8_CONTINUES,R_20_10_THE_DAY)
      & the_day(R_20_10_THE_DAY)
      & attrib31(R_20_10_THE_DAY,R_20_11_PRESENT) ) ).



n20_a_kyoto_2 n20_a_kyoto_2__1_1_1_1 Transmission n20_a_kyoto_2__1_1_2_1_1 of n20_a_kyoto_2__1_1_2_2_1_1 enlightenment n20_a_kyoto_2__1_1_3_1_1 from n20_a_kyoto_2__1_1_3_2_1_1 masters n20_a_kyoto_2__1_1_4_1_1 to n20_a_kyoto_2__1_1_4_2_1_1 disciples n20_a_kyoto_2__1_2_1 continues n20_a_kyoto_2__1_3_1_1 down_to n20_a_kyoto_2__1_3_2_1_1 the n20_a_kyoto_2__1_3_2_2_1_1 present n20_a_kyoto_2__1_3_2_3_1 day n20_a_kyoto_2__1_4_1 -LRB- n20_a_kyoto_2__1_5_1_1_1_1 Hassu n20_a_kyoto_2__1_5_1_2_1 is n20_a_kyoto_2__1_5_1_3_1_1 the n20_a_kyoto_2__1_5_1_3_2_1 disciple n20_a_kyoto_2__1_5_1_3_3_1_1_1 who n20_a_kyoto_2__1_5_1_3_3_2_1 inherited n20_a_kyoto_2__1_5_1_3_3_3_1_1 the n20_a_kyoto_2__1_5_1_3_3_3_2_1 teaching n20_a_kyoto_2__1_5_1_3_3_3_3_1_1 of n20_a_kyoto_2__1_5_1_3_3_3_3_2_1_1 the n20_a_kyoto_2__1_5_1_3_3_3_3_2_2_1 master n20_a_kyoto_2__1_6_1 -RRB- n20_a_kyoto_2__1_7_1 . n20_a_kyoto_2__1 IP-MAT n20_a_kyoto_2__1_1 NP-SBJ n20_a_kyoto_2__1->n20_a_kyoto_2__1_1 n20_a_kyoto_2__1_2 VBP;_Ipr_ n20_a_kyoto_2__1->n20_a_kyoto_2__1_2 n20_a_kyoto_2__1_3 PP-CLR n20_a_kyoto_2__1->n20_a_kyoto_2__1_3 n20_a_kyoto_2__1_4 PULB n20_a_kyoto_2__1->n20_a_kyoto_2__1_4 n20_a_kyoto_2__1_5 PRN n20_a_kyoto_2__1->n20_a_kyoto_2__1_5 n20_a_kyoto_2__1_6 PURB n20_a_kyoto_2__1->n20_a_kyoto_2__1_6 n20_a_kyoto_2__1_7 PUNC n20_a_kyoto_2__1->n20_a_kyoto_2__1_7 n20_a_kyoto_2__1_1_1 N n20_a_kyoto_2__1_1->n20_a_kyoto_2__1_1_1 n20_a_kyoto_2__1_1_2 PP n20_a_kyoto_2__1_1->n20_a_kyoto_2__1_1_2 n20_a_kyoto_2__1_1_3 PP n20_a_kyoto_2__1_1->n20_a_kyoto_2__1_1_3 n20_a_kyoto_2__1_1_4 PP n20_a_kyoto_2__1_1->n20_a_kyoto_2__1_1_4 n20_a_kyoto_2__1_1_1->n20_a_kyoto_2__1_1_1_1 n20_a_kyoto_2__1_1_2_1 P-ROLE n20_a_kyoto_2__1_1_2->n20_a_kyoto_2__1_1_2_1 n20_a_kyoto_2__1_1_2_2 NP n20_a_kyoto_2__1_1_2->n20_a_kyoto_2__1_1_2_2 n20_a_kyoto_2__1_1_2_1->n20_a_kyoto_2__1_1_2_1_1 n20_a_kyoto_2__1_1_2_2_1 N n20_a_kyoto_2__1_1_2_2->n20_a_kyoto_2__1_1_2_2_1 n20_a_kyoto_2__1_1_2_2_1->n20_a_kyoto_2__1_1_2_2_1_1 n20_a_kyoto_2__1_1_3_1 P-ROLE n20_a_kyoto_2__1_1_3->n20_a_kyoto_2__1_1_3_1 n20_a_kyoto_2__1_1_3_2 NP n20_a_kyoto_2__1_1_3->n20_a_kyoto_2__1_1_3_2 n20_a_kyoto_2__1_1_3_1->n20_a_kyoto_2__1_1_3_1_1 n20_a_kyoto_2__1_1_3_2_1 NS n20_a_kyoto_2__1_1_3_2->n20_a_kyoto_2__1_1_3_2_1 n20_a_kyoto_2__1_1_3_2_1->n20_a_kyoto_2__1_1_3_2_1_1 n20_a_kyoto_2__1_1_4_1 P-ROLE n20_a_kyoto_2__1_1_4->n20_a_kyoto_2__1_1_4_1 n20_a_kyoto_2__1_1_4_2 NP n20_a_kyoto_2__1_1_4->n20_a_kyoto_2__1_1_4_2 n20_a_kyoto_2__1_1_4_1->n20_a_kyoto_2__1_1_4_1_1 n20_a_kyoto_2__1_1_4_2_1 NS n20_a_kyoto_2__1_1_4_2->n20_a_kyoto_2__1_1_4_2_1 n20_a_kyoto_2__1_1_4_2_1->n20_a_kyoto_2__1_1_4_2_1_1 n20_a_kyoto_2__1_2->n20_a_kyoto_2__1_2_1 n20_a_kyoto_2__1_3_1 P-ROLE n20_a_kyoto_2__1_3->n20_a_kyoto_2__1_3_1 n20_a_kyoto_2__1_3_2 NP n20_a_kyoto_2__1_3->n20_a_kyoto_2__1_3_2 n20_a_kyoto_2__1_3_1->n20_a_kyoto_2__1_3_1_1 n20_a_kyoto_2__1_3_2_1 D n20_a_kyoto_2__1_3_2->n20_a_kyoto_2__1_3_2_1 n20_a_kyoto_2__1_3_2_2 ADJP n20_a_kyoto_2__1_3_2->n20_a_kyoto_2__1_3_2_2 n20_a_kyoto_2__1_3_2_3 N n20_a_kyoto_2__1_3_2->n20_a_kyoto_2__1_3_2_3 n20_a_kyoto_2__1_3_2_1->n20_a_kyoto_2__1_3_2_1_1 n20_a_kyoto_2__1_3_2_2_1 ADJ n20_a_kyoto_2__1_3_2_2->n20_a_kyoto_2__1_3_2_2_1 n20_a_kyoto_2__1_3_2_2_1->n20_a_kyoto_2__1_3_2_2_1_1 n20_a_kyoto_2__1_3_2_3->n20_a_kyoto_2__1_3_2_3_1 n20_a_kyoto_2__1_4->n20_a_kyoto_2__1_4_1 n20_a_kyoto_2__1_5_1 IP-MAT n20_a_kyoto_2__1_5->n20_a_kyoto_2__1_5_1 n20_a_kyoto_2__1_5_1_1 NP-SBJ n20_a_kyoto_2__1_5_1->n20_a_kyoto_2__1_5_1_1 n20_a_kyoto_2__1_5_1_2 BEP;_Ln_ n20_a_kyoto_2__1_5_1->n20_a_kyoto_2__1_5_1_2 n20_a_kyoto_2__1_5_1_3 NP-PRD n20_a_kyoto_2__1_5_1->n20_a_kyoto_2__1_5_1_3 n20_a_kyoto_2__1_5_1_1_1 NPR n20_a_kyoto_2__1_5_1_1->n20_a_kyoto_2__1_5_1_1_1 n20_a_kyoto_2__1_5_1_1_1->n20_a_kyoto_2__1_5_1_1_1_1 n20_a_kyoto_2__1_5_1_2->n20_a_kyoto_2__1_5_1_2_1 n20_a_kyoto_2__1_5_1_3_1 D n20_a_kyoto_2__1_5_1_3->n20_a_kyoto_2__1_5_1_3_1 n20_a_kyoto_2__1_5_1_3_2 N n20_a_kyoto_2__1_5_1_3->n20_a_kyoto_2__1_5_1_3_2 n20_a_kyoto_2__1_5_1_3_3 IP-REL n20_a_kyoto_2__1_5_1_3->n20_a_kyoto_2__1_5_1_3_3 n20_a_kyoto_2__1_5_1_3_1->n20_a_kyoto_2__1_5_1_3_1_1 n20_a_kyoto_2__1_5_1_3_2->n20_a_kyoto_2__1_5_1_3_2_1 n20_a_kyoto_2__1_5_1_3_3_1 NP-SBJ n20_a_kyoto_2__1_5_1_3_3->n20_a_kyoto_2__1_5_1_3_3_1 n20_a_kyoto_2__1_5_1_3_3_2 VBD;_Tn_ n20_a_kyoto_2__1_5_1_3_3->n20_a_kyoto_2__1_5_1_3_3_2 n20_a_kyoto_2__1_5_1_3_3_3 NP-OB1 n20_a_kyoto_2__1_5_1_3_3->n20_a_kyoto_2__1_5_1_3_3_3 n20_a_kyoto_2__1_5_1_3_3_1_1 RPRO n20_a_kyoto_2__1_5_1_3_3_1->n20_a_kyoto_2__1_5_1_3_3_1_1 n20_a_kyoto_2__1_5_1_3_3_1_1->n20_a_kyoto_2__1_5_1_3_3_1_1_1 n20_a_kyoto_2__1_5_1_3_3_2->n20_a_kyoto_2__1_5_1_3_3_2_1 n20_a_kyoto_2__1_5_1_3_3_3_1 D n20_a_kyoto_2__1_5_1_3_3_3->n20_a_kyoto_2__1_5_1_3_3_3_1 n20_a_kyoto_2__1_5_1_3_3_3_2 N n20_a_kyoto_2__1_5_1_3_3_3->n20_a_kyoto_2__1_5_1_3_3_3_2 n20_a_kyoto_2__1_5_1_3_3_3_3 PP n20_a_kyoto_2__1_5_1_3_3_3->n20_a_kyoto_2__1_5_1_3_3_3_3 n20_a_kyoto_2__1_5_1_3_3_3_1->n20_a_kyoto_2__1_5_1_3_3_3_1_1 n20_a_kyoto_2__1_5_1_3_3_3_2->n20_a_kyoto_2__1_5_1_3_3_3_2_1 n20_a_kyoto_2__1_5_1_3_3_3_3_1 P-ROLE n20_a_kyoto_2__1_5_1_3_3_3_3->n20_a_kyoto_2__1_5_1_3_3_3_3_1 n20_a_kyoto_2__1_5_1_3_3_3_3_2 NP n20_a_kyoto_2__1_5_1_3_3_3_3->n20_a_kyoto_2__1_5_1_3_3_3_3_2 n20_a_kyoto_2__1_5_1_3_3_3_3_1->n20_a_kyoto_2__1_5_1_3_3_3_3_1_1 n20_a_kyoto_2__1_5_1_3_3_3_3_2_1 D n20_a_kyoto_2__1_5_1_3_3_3_3_2->n20_a_kyoto_2__1_5_1_3_3_3_3_2_1 n20_a_kyoto_2__1_5_1_3_3_3_3_2_2 N n20_a_kyoto_2__1_5_1_3_3_3_3_2->n20_a_kyoto_2__1_5_1_3_3_3_3_2_2 n20_a_kyoto_2__1_5_1_3_3_3_3_2_1->n20_a_kyoto_2__1_5_1_3_3_3_3_2_1_1 n20_a_kyoto_2__1_5_1_3_3_3_3_2_2->n20_a_kyoto_2__1_5_1_3_3_3_3_2_2_1 n20_a_kyoto_2__1_6->n20_a_kyoto_2__1_6_1 n20_a_kyoto_2__1_7->n20_a_kyoto_2__1_7_1
( (IP-MAT (NP-SBJ (N Transmission;{transmission})
                  (PP (P-ROLE of;{of})
                      (NP (N enlightenment;{enlightenment})))
                  (PP (P-ROLE from;{from})
                      (NP (NS masters;{master})))
                  (PP (P-ROLE to;{to})
                      (NP (NS disciples;{disciple}))))
          (VBP;_Ipr_ continues;{continue[down_to]})
          (PP-CLR (P-ROLE down_to;{down_to})
                  (NP (D the;{the})
                      (ADJP (ADJ present;{present}))
                      (N day;{day})))
          (PULB -LRB-)
          (PRN (IP-MAT (NP-SBJ (NPR Hassu;{Hassu}))
                       (BEP;_Ln_ is;{be})
                       (NP-PRD (D the;{the})
                               (N disciple;{disciple})
                               (IP-REL (NP-SBJ (RPRO who;{who}))
                                       (VBD;_Tn_ inherited;{inherit})
                                       (NP-OB1 (D the;{the})
                                               (N teaching;{teaching})
                                               (PP (P-ROLE of;{of})
                                                   (NP (D the;{the})
                                                       (N master;{master}))))))))
          (PURB -RRB-)
          (PUNC .))
  (ID 20_a_kyoto_2;BDS_00002;20))