Context                Previous, Next                Top


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_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] 
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_4 Transmission n20_a_kyoto_2_7 of n20_a_kyoto_2_10 enlightenment n20_a_kyoto_2_13 from n20_a_kyoto_2_16 masters n20_a_kyoto_2_19 to n20_a_kyoto_2_22 disciples n20_a_kyoto_2_24 continues n20_a_kyoto_2_27 down_to n20_a_kyoto_2_30 the n20_a_kyoto_2_33 present n20_a_kyoto_2_35 day n20_a_kyoto_2_37 -LRB- n20_a_kyoto_2_42 Hassu n20_a_kyoto_2_44 is n20_a_kyoto_2_47 the n20_a_kyoto_2_49 disciple n20_a_kyoto_2_53 who n20_a_kyoto_2_55 inherited n20_a_kyoto_2_58 the n20_a_kyoto_2_60 teaching n20_a_kyoto_2_63 of n20_a_kyoto_2_66 the n20_a_kyoto_2_68 master n20_a_kyoto_2_70 -RRB- n20_a_kyoto_2_72 . n20_a_kyoto_2_1 IP-MAT n20_a_kyoto_2_2 NP-SBJ n20_a_kyoto_2_1->n20_a_kyoto_2_2 n20_a_kyoto_2_23 VBP;_Ipr_ n20_a_kyoto_2_1->n20_a_kyoto_2_23 n20_a_kyoto_2_25 PP-CLR n20_a_kyoto_2_1->n20_a_kyoto_2_25 n20_a_kyoto_2_36 PULB n20_a_kyoto_2_1->n20_a_kyoto_2_36 n20_a_kyoto_2_38 PRN n20_a_kyoto_2_1->n20_a_kyoto_2_38 n20_a_kyoto_2_69 PURB n20_a_kyoto_2_1->n20_a_kyoto_2_69 n20_a_kyoto_2_71 PUNC n20_a_kyoto_2_1->n20_a_kyoto_2_71 n20_a_kyoto_2_3 N n20_a_kyoto_2_2->n20_a_kyoto_2_3 n20_a_kyoto_2_5 PP n20_a_kyoto_2_2->n20_a_kyoto_2_5 n20_a_kyoto_2_11 PP n20_a_kyoto_2_2->n20_a_kyoto_2_11 n20_a_kyoto_2_17 PP n20_a_kyoto_2_2->n20_a_kyoto_2_17 n20_a_kyoto_2_3->n20_a_kyoto_2_4 n20_a_kyoto_2_6 P-ROLE n20_a_kyoto_2_5->n20_a_kyoto_2_6 n20_a_kyoto_2_8 NP n20_a_kyoto_2_5->n20_a_kyoto_2_8 n20_a_kyoto_2_6->n20_a_kyoto_2_7 n20_a_kyoto_2_9 N n20_a_kyoto_2_8->n20_a_kyoto_2_9 n20_a_kyoto_2_9->n20_a_kyoto_2_10 n20_a_kyoto_2_12 P-ROLE n20_a_kyoto_2_11->n20_a_kyoto_2_12 n20_a_kyoto_2_14 NP n20_a_kyoto_2_11->n20_a_kyoto_2_14 n20_a_kyoto_2_12->n20_a_kyoto_2_13 n20_a_kyoto_2_15 NS n20_a_kyoto_2_14->n20_a_kyoto_2_15 n20_a_kyoto_2_15->n20_a_kyoto_2_16 n20_a_kyoto_2_18 P-ROLE n20_a_kyoto_2_17->n20_a_kyoto_2_18 n20_a_kyoto_2_20 NP n20_a_kyoto_2_17->n20_a_kyoto_2_20 n20_a_kyoto_2_18->n20_a_kyoto_2_19 n20_a_kyoto_2_21 NS n20_a_kyoto_2_20->n20_a_kyoto_2_21 n20_a_kyoto_2_21->n20_a_kyoto_2_22 n20_a_kyoto_2_23->n20_a_kyoto_2_24 n20_a_kyoto_2_26 P-ROLE n20_a_kyoto_2_25->n20_a_kyoto_2_26 n20_a_kyoto_2_28 NP n20_a_kyoto_2_25->n20_a_kyoto_2_28 n20_a_kyoto_2_26->n20_a_kyoto_2_27 n20_a_kyoto_2_29 D n20_a_kyoto_2_28->n20_a_kyoto_2_29 n20_a_kyoto_2_31 ADJP n20_a_kyoto_2_28->n20_a_kyoto_2_31 n20_a_kyoto_2_34 N n20_a_kyoto_2_28->n20_a_kyoto_2_34 n20_a_kyoto_2_29->n20_a_kyoto_2_30 n20_a_kyoto_2_32 ADJ n20_a_kyoto_2_31->n20_a_kyoto_2_32 n20_a_kyoto_2_32->n20_a_kyoto_2_33 n20_a_kyoto_2_34->n20_a_kyoto_2_35 n20_a_kyoto_2_36->n20_a_kyoto_2_37 n20_a_kyoto_2_39 IP-MAT n20_a_kyoto_2_38->n20_a_kyoto_2_39 n20_a_kyoto_2_40 NP-SBJ n20_a_kyoto_2_39->n20_a_kyoto_2_40 n20_a_kyoto_2_43 BEP;_Ln_ n20_a_kyoto_2_39->n20_a_kyoto_2_43 n20_a_kyoto_2_45 NP-PRD n20_a_kyoto_2_39->n20_a_kyoto_2_45 n20_a_kyoto_2_41 NPR n20_a_kyoto_2_40->n20_a_kyoto_2_41 n20_a_kyoto_2_41->n20_a_kyoto_2_42 n20_a_kyoto_2_43->n20_a_kyoto_2_44 n20_a_kyoto_2_46 D n20_a_kyoto_2_45->n20_a_kyoto_2_46 n20_a_kyoto_2_48 N n20_a_kyoto_2_45->n20_a_kyoto_2_48 n20_a_kyoto_2_50 IP-REL n20_a_kyoto_2_45->n20_a_kyoto_2_50 n20_a_kyoto_2_46->n20_a_kyoto_2_47 n20_a_kyoto_2_48->n20_a_kyoto_2_49 n20_a_kyoto_2_51 NP-SBJ n20_a_kyoto_2_50->n20_a_kyoto_2_51 n20_a_kyoto_2_54 VBD;_Tn_ n20_a_kyoto_2_50->n20_a_kyoto_2_54 n20_a_kyoto_2_56 NP-OB1 n20_a_kyoto_2_50->n20_a_kyoto_2_56 n20_a_kyoto_2_52 RPRO n20_a_kyoto_2_51->n20_a_kyoto_2_52 n20_a_kyoto_2_52->n20_a_kyoto_2_53 n20_a_kyoto_2_54->n20_a_kyoto_2_55 n20_a_kyoto_2_57 D n20_a_kyoto_2_56->n20_a_kyoto_2_57 n20_a_kyoto_2_59 N n20_a_kyoto_2_56->n20_a_kyoto_2_59 n20_a_kyoto_2_61 PP n20_a_kyoto_2_56->n20_a_kyoto_2_61 n20_a_kyoto_2_57->n20_a_kyoto_2_58 n20_a_kyoto_2_59->n20_a_kyoto_2_60 n20_a_kyoto_2_62 P-ROLE n20_a_kyoto_2_61->n20_a_kyoto_2_62 n20_a_kyoto_2_64 NP n20_a_kyoto_2_61->n20_a_kyoto_2_64 n20_a_kyoto_2_62->n20_a_kyoto_2_63 n20_a_kyoto_2_65 D n20_a_kyoto_2_64->n20_a_kyoto_2_65 n20_a_kyoto_2_67 N n20_a_kyoto_2_64->n20_a_kyoto_2_67 n20_a_kyoto_2_65->n20_a_kyoto_2_66 n20_a_kyoto_2_67->n20_a_kyoto_2_68 n20_a_kyoto_2_69->n20_a_kyoto_2_70 n20_a_kyoto_2_71->n20_a_kyoto_2_72 
( (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))