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_0020_0003__ENLIGHTENMENT,R_0020_0005__MASTERS,R_0020_0007__DISCIPLES,R_0020_0001__TRANSMISSION,R_0020_0011__PRESENT,R_0020_0010__THE_R_0020_0012__DAY,R_0020_0008__CONTINUES] :
      ( r_0020_0003__enlightenment(R_0020_0003__ENLIGHTENMENT)
      & r_0020_0005__masters(R_0020_0005__MASTERS)
      & r_0020_0007__disciples(R_0020_0007__DISCIPLES)
      & r_0020_0011__present(R_0020_0011__PRESENT)
      & r_0020_0008__continues(R_0020_0008__CONTINUES)
      & has_r_0020_0009__down_to_clr28(R_0020_0008__CONTINUES,R_0020_0010__THE_R_0020_0012__DAY)
      & r_0020_0010__the_r_0020_0012__day(R_0020_0010__THE_R_0020_0012__DAY)
      & has_attrib31(R_0020_0010__THE_R_0020_0012__DAY,R_0020_0011__PRESENT)
      & has_arg0(R_0020_0008__CONTINUES,R_0020_0001__TRANSMISSION)
      & r_0020_0001__Transmission(R_0020_0001__TRANSMISSION)
      & has_r_0020_0006__to(R_0020_0001__TRANSMISSION,R_0020_0007__DISCIPLES)
      & has_r_0020_0004__from(R_0020_0001__TRANSMISSION,R_0020_0005__MASTERS)
      & has_r_0020_0002__of(R_0020_0001__TRANSMISSION,R_0020_0003__ENLIGHTENMENT) ) ).



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))