Context                Previous, Next                Top


40_a_kyoto_2
Masters in the Tang dynasty did not learn to get enlightenment from anybody - not to mention Siddhartha Gautama (Buddha, Shakuson), who gained enlightenment without a teacher.

%3 r_0040_0001__Masters Masters r_0040_0003__the_r_0040_0004__Tang_r_0040_0005__dynasty the Tang dynasty r_0040_0001__Masters->r_0040_0003__the_r_0040_0004__Tang_r_0040_0005__dynasty in r_0040_0006__did_r_0040_0008__learn did learn r_0040_0006__did_r_0040_0008__learn->r_0040_0001__Masters [arg0] z_000_40_a_kyoto_2_22 r_0040_0006__did_r_0040_0008__learn->z_000_40_a_kyoto_2_22 [arg1] r_0040_0009__to_r_0040_0010__get to get z_000_40_a_kyoto_2_22->r_0040_0009__to_r_0040_0010__get [conj1] r_0040_0015__not not z_000_40_a_kyoto_2_22->r_0040_0015__not [conj2] r_0040_0007__not not r_0040_0007__not->r_0040_0006__did_r_0040_0008__learn [keep_scope] r_0040_0009__to_r_0040_0010__get->r_0040_0001__Masters [arg0] r_0040_0011__enlightenment enlightenment r_0040_0009__to_r_0040_0010__get->r_0040_0011__enlightenment [arg1] r_0040_0013__anybody anybody r_0040_0009__to_r_0040_0010__get->r_0040_0013__anybody from [nim] r_0040_0016__to_r_0040_0017__mention to mention r_0040_0015__not->r_0040_0016__to_r_0040_0017__mention [keep_scope] r_0040_0016__to_r_0040_0017__mention->r_0040_0001__Masters [arg0] r_0040_0018__Siddhartha_r_0040_0019__Gautama Siddhartha Gautama r_0040_0016__to_r_0040_0017__mention->r_0040_0018__Siddhartha_r_0040_0019__Gautama [arg1] r_0040_0027__gained gained r_0040_0027__gained->r_0040_0018__Siddhartha_r_0040_0019__Gautama [arg0] r_0040_0028__enlightenment enlightenment r_0040_0027__gained->r_0040_0028__enlightenment [arg1] r_0040_0030__a_r_0040_0031__teacher a teacher r_0040_0027__gained->r_0040_0030__a_r_0040_0031__teacher without [nim] z_000_40_a_kyoto_2_54 z_000_40_a_kyoto_2_54->r_0040_0018__Siddhartha_r_0040_0019__Gautama [arg0] r_0040_0021__Buddha_r_0040_0023__Shakuson Buddha Shakuson z_000_40_a_kyoto_2_54->r_0040_0021__Buddha_r_0040_0023__Shakuson [prd] 
arc(r_0040_0001__Masters, r_0040_0003__the_r_0040_0004__Tang_r_0040_0005__dynasty, r_0040_0002__in).
arc(r_0040_0006__did_r_0040_0008__learn, r_0040_0001__Masters, arg0).
arc(r_0040_0006__did_r_0040_0008__learn, z_000_40_a_kyoto_2_22, arg1).
arc(r_0040_0007__not, r_0040_0006__did_r_0040_0008__learn, keep_scope).
arc(r_0040_0009__to_r_0040_0010__get, r_0040_0001__Masters, arg0).
arc(r_0040_0009__to_r_0040_0010__get, r_0040_0011__enlightenment, arg1).
arc(r_0040_0009__to_r_0040_0010__get, r_0040_0013__anybody, r_0040_0012__from_nim34).
arc(r_0040_0015__not, r_0040_0016__to_r_0040_0017__mention, keep_scope).
arc(r_0040_0016__to_r_0040_0017__mention, r_0040_0001__Masters, arg0).
arc(r_0040_0016__to_r_0040_0017__mention, r_0040_0018__Siddhartha_r_0040_0019__Gautama, arg1).
arc(r_0040_0027__gained, r_0040_0018__Siddhartha_r_0040_0019__Gautama, arg0).
arc(r_0040_0027__gained, r_0040_0028__enlightenment, arg1).
arc(r_0040_0027__gained, r_0040_0030__a_r_0040_0031__teacher, r_0040_0029__without_nim78).
arc(z_000_40_a_kyoto_2_22, r_0040_0009__to_r_0040_0010__get, conj1).
arc(z_000_40_a_kyoto_2_22, r_0040_0015__not, conj2).
arc(z_000_40_a_kyoto_2_54, r_0040_0018__Siddhartha_r_0040_0019__Gautama, arg0).
arc(z_000_40_a_kyoto_2_54, r_0040_0021__Buddha_r_0040_0023__Shakuson, prd).


%3 r_0040_0001__Masters Masters r_0040_0003__the_r_0040_0004__Tang_r_0040_0005__dynasty the Tang dynasty r_0040_0001__Masters->r_0040_0003__the_r_0040_0004__Tang_r_0040_0005__dynasty in r_0040_0006__did_r_0040_0008__learn did learn r_0040_0006__did_r_0040_0008__learn->r_0040_0001__Masters [arg0] z_000_40_a_kyoto_2_22 r_0040_0006__did_r_0040_0008__learn->z_000_40_a_kyoto_2_22 [arg1] r_0040_0009__to_r_0040_0010__get to get z_000_40_a_kyoto_2_22->r_0040_0009__to_r_0040_0010__get [conj1] r_0040_0015__not not z_000_40_a_kyoto_2_22->r_0040_0015__not [conj2] r_0040_0007__not not r_0040_0007__not->r_0040_0006__did_r_0040_0008__learn [keep_scope] r_0040_0009__to_r_0040_0010__get->r_0040_0001__Masters [arg0] r_0040_0011__enlightenment enlightenment r_0040_0009__to_r_0040_0010__get->r_0040_0011__enlightenment [arg1] r_0040_0013__anybody anybody r_0040_0009__to_r_0040_0010__get->r_0040_0013__anybody from [nim] r_0040_0016__to_r_0040_0017__mention to mention r_0040_0015__not->r_0040_0016__to_r_0040_0017__mention [keep_scope] r_0040_0016__to_r_0040_0017__mention->r_0040_0001__Masters [arg0] r_0040_0018__Siddhartha_r_0040_0019__Gautama Siddhartha Gautama r_0040_0016__to_r_0040_0017__mention->r_0040_0018__Siddhartha_r_0040_0019__Gautama [arg1] r_0040_0027__gained gained r_0040_0027__gained->r_0040_0018__Siddhartha_r_0040_0019__Gautama [arg0] r_0040_0028__enlightenment enlightenment r_0040_0027__gained->r_0040_0028__enlightenment [arg1] r_0040_0030__a_r_0040_0031__teacher a teacher r_0040_0027__gained->r_0040_0030__a_r_0040_0031__teacher without [nim] z_000_40_a_kyoto_2_54 z_000_40_a_kyoto_2_54->r_0040_0018__Siddhartha_r_0040_0019__Gautama [arg0] r_0040_0021__Buddha_r_0040_0023__Shakuson Buddha Shakuson z_000_40_a_kyoto_2_54->r_0040_0021__Buddha_r_0040_0023__Shakuson [prd] 
fof(formula,axiom,
    ? [R_40_27_GAINED,R_40_28_ENLIGHTENMENT,R_40_30_A_TEACHER,Z_40_A_KYOTO_2_54,R_40_18_SIDDHARTHA_GAUTAMA,R_40_21_BUDDHA_SHAKUSON] :
      ( enlightenment(R_40_28_ENLIGHTENMENT)
      & a_teacher(R_40_30_A_TEACHER)
      & siddhartha_Gautama(R_40_18_SIDDHARTHA_GAUTAMA)
      & buddha_Shakuson(R_40_21_BUDDHA_SHAKUSON)
      & ~ ? [R_40_6_DID_LEARN,Z_40_A_KYOTO_2_22,R_40_9_TO_GET,R_40_1_MASTERS,R_40_3_THE_TANG_DYNASTY,R_40_11_ENLIGHTENMENT,R_40_13_ANYBODY] :
            ( the_Tang_dynasty(R_40_3_THE_TANG_DYNASTY)
            & enlightenment(R_40_11_ENLIGHTENMENT)
            & anybody(R_40_13_ANYBODY)
            & did_learn(R_40_6_DID_LEARN,R_40_1_MASTERS,Z_40_A_KYOTO_2_22)
            & masters(R_40_1_MASTERS)
            & in(R_40_1_MASTERS,R_40_3_THE_TANG_DYNASTY)
            & z_40_a_kyoto_2_22(Z_40_A_KYOTO_2_22)
            & conj1(Z_40_A_KYOTO_2_22,R_40_9_TO_GET)
            & to_get(R_40_9_TO_GET,R_40_1_MASTERS,R_40_11_ENLIGHTENMENT)
            & from_nim34(R_40_9_TO_GET,R_40_13_ANYBODY)
            & conj2(Z_40_A_KYOTO_2_22,R_40_15_NOT)
            & ~ ? [R_40_16_TO_MENTION] : to_mention(R_40_16_TO_MENTION,R_40_1_MASTERS,R_40_18_SIDDHARTHA_GAUTAMA) )
      & gained(R_40_27_GAINED,R_40_18_SIDDHARTHA_GAUTAMA,R_40_28_ENLIGHTENMENT)
      & without_nim78(R_40_27_GAINED,R_40_30_A_TEACHER)
      & z_40_a_kyoto_2_54(Z_40_A_KYOTO_2_54,R_40_18_SIDDHARTHA_GAUTAMA,R_40_21_BUDDHA_SHAKUSON) ) ).


n40_a_kyoto_2 n40_a_kyoto_2_4 Masters n40_a_kyoto_2_7 in n40_a_kyoto_2_10 the n40_a_kyoto_2_12 Tang n40_a_kyoto_2_14 dynasty n40_a_kyoto_2_16 did n40_a_kyoto_2_18 not n40_a_kyoto_2_20 learn n40_a_kyoto_2_25 to n40_a_kyoto_2_27 get n40_a_kyoto_2_30 enlightenment n40_a_kyoto_2_33 from n40_a_kyoto_2_36 anybody n40_a_kyoto_2_38 - n40_a_kyoto_2_42 not n40_a_kyoto_2_44 to n40_a_kyoto_2_46 mention n40_a_kyoto_2_49 Siddhartha n40_a_kyoto_2_51 Gautama n40_a_kyoto_2_53 -LRB- n40_a_kyoto_2_57 Buddha n40_a_kyoto_2_59 , n40_a_kyoto_2_61 Shakuson n40_a_kyoto_2_63 -RRB- n40_a_kyoto_2_65 , n40_a_kyoto_2_69 who n40_a_kyoto_2_71 gained n40_a_kyoto_2_74 enlightenment n40_a_kyoto_2_77 without n40_a_kyoto_2_80 a n40_a_kyoto_2_82 teacher n40_a_kyoto_2_84 . n40_a_kyoto_2_1 IP-MAT n40_a_kyoto_2_2 NP-SBJ n40_a_kyoto_2_1->n40_a_kyoto_2_2 n40_a_kyoto_2_15 DOD n40_a_kyoto_2_1->n40_a_kyoto_2_15 n40_a_kyoto_2_17 NEG n40_a_kyoto_2_1->n40_a_kyoto_2_17 n40_a_kyoto_2_19 VB;__ n40_a_kyoto_2_1->n40_a_kyoto_2_19 n40_a_kyoto_2_21 IP-INF-OB1 n40_a_kyoto_2_1->n40_a_kyoto_2_21 n40_a_kyoto_2_83 PUNC n40_a_kyoto_2_1->n40_a_kyoto_2_83 n40_a_kyoto_2_3 NS n40_a_kyoto_2_2->n40_a_kyoto_2_3 n40_a_kyoto_2_5 PP n40_a_kyoto_2_2->n40_a_kyoto_2_5 n40_a_kyoto_2_3->n40_a_kyoto_2_4 n40_a_kyoto_2_6 P-ROLE n40_a_kyoto_2_5->n40_a_kyoto_2_6 n40_a_kyoto_2_8 NP n40_a_kyoto_2_5->n40_a_kyoto_2_8 n40_a_kyoto_2_6->n40_a_kyoto_2_7 n40_a_kyoto_2_9 D n40_a_kyoto_2_8->n40_a_kyoto_2_9 n40_a_kyoto_2_11 NPR n40_a_kyoto_2_8->n40_a_kyoto_2_11 n40_a_kyoto_2_13 N n40_a_kyoto_2_8->n40_a_kyoto_2_13 n40_a_kyoto_2_9->n40_a_kyoto_2_10 n40_a_kyoto_2_11->n40_a_kyoto_2_12 n40_a_kyoto_2_13->n40_a_kyoto_2_14 n40_a_kyoto_2_15->n40_a_kyoto_2_16 n40_a_kyoto_2_17->n40_a_kyoto_2_18 n40_a_kyoto_2_19->n40_a_kyoto_2_20 n40_a_kyoto_2_22 ILYR n40_a_kyoto_2_21->n40_a_kyoto_2_22 n40_a_kyoto_2_23 ILYR n40_a_kyoto_2_22->n40_a_kyoto_2_23 n40_a_kyoto_2_37 PUNC n40_a_kyoto_2_22->n40_a_kyoto_2_37 n40_a_kyoto_2_39 CONJP n40_a_kyoto_2_22->n40_a_kyoto_2_39 n40_a_kyoto_2_24 TO n40_a_kyoto_2_23->n40_a_kyoto_2_24 n40_a_kyoto_2_26 VB;__ n40_a_kyoto_2_23->n40_a_kyoto_2_26 n40_a_kyoto_2_28 NP-OB1 n40_a_kyoto_2_23->n40_a_kyoto_2_28 n40_a_kyoto_2_31 PP-NIM n40_a_kyoto_2_23->n40_a_kyoto_2_31 n40_a_kyoto_2_24->n40_a_kyoto_2_25 n40_a_kyoto_2_26->n40_a_kyoto_2_27 n40_a_kyoto_2_29 N n40_a_kyoto_2_28->n40_a_kyoto_2_29 n40_a_kyoto_2_29->n40_a_kyoto_2_30 n40_a_kyoto_2_32 P-ROLE n40_a_kyoto_2_31->n40_a_kyoto_2_32 n40_a_kyoto_2_34 NP n40_a_kyoto_2_31->n40_a_kyoto_2_34 n40_a_kyoto_2_32->n40_a_kyoto_2_33 n40_a_kyoto_2_35 D;_nphd_ n40_a_kyoto_2_34->n40_a_kyoto_2_35 n40_a_kyoto_2_35->n40_a_kyoto_2_36 n40_a_kyoto_2_37->n40_a_kyoto_2_38 n40_a_kyoto_2_40 ILYR n40_a_kyoto_2_39->n40_a_kyoto_2_40 n40_a_kyoto_2_41 NEG n40_a_kyoto_2_40->n40_a_kyoto_2_41 n40_a_kyoto_2_43 TO n40_a_kyoto_2_40->n40_a_kyoto_2_43 n40_a_kyoto_2_45 VB;__ n40_a_kyoto_2_40->n40_a_kyoto_2_45 n40_a_kyoto_2_47 NP-OB1 n40_a_kyoto_2_40->n40_a_kyoto_2_47 n40_a_kyoto_2_41->n40_a_kyoto_2_42 n40_a_kyoto_2_43->n40_a_kyoto_2_44 n40_a_kyoto_2_45->n40_a_kyoto_2_46 n40_a_kyoto_2_48 NPR n40_a_kyoto_2_47->n40_a_kyoto_2_48 n40_a_kyoto_2_50 NPR n40_a_kyoto_2_47->n40_a_kyoto_2_50 n40_a_kyoto_2_52 PULB n40_a_kyoto_2_47->n40_a_kyoto_2_52 n40_a_kyoto_2_54 IP-PPL n40_a_kyoto_2_47->n40_a_kyoto_2_54 n40_a_kyoto_2_62 PURB n40_a_kyoto_2_47->n40_a_kyoto_2_62 n40_a_kyoto_2_64 PUNC n40_a_kyoto_2_47->n40_a_kyoto_2_64 n40_a_kyoto_2_66 IP-REL n40_a_kyoto_2_47->n40_a_kyoto_2_66 n40_a_kyoto_2_48->n40_a_kyoto_2_49 n40_a_kyoto_2_50->n40_a_kyoto_2_51 n40_a_kyoto_2_52->n40_a_kyoto_2_53 n40_a_kyoto_2_55 NP-PRD n40_a_kyoto_2_54->n40_a_kyoto_2_55 n40_a_kyoto_2_56 NPR n40_a_kyoto_2_55->n40_a_kyoto_2_56 n40_a_kyoto_2_58 PUNC n40_a_kyoto_2_55->n40_a_kyoto_2_58 n40_a_kyoto_2_60 NPR n40_a_kyoto_2_55->n40_a_kyoto_2_60 n40_a_kyoto_2_56->n40_a_kyoto_2_57 n40_a_kyoto_2_58->n40_a_kyoto_2_59 n40_a_kyoto_2_60->n40_a_kyoto_2_61 n40_a_kyoto_2_62->n40_a_kyoto_2_63 n40_a_kyoto_2_64->n40_a_kyoto_2_65 n40_a_kyoto_2_67 NP-SBJ n40_a_kyoto_2_66->n40_a_kyoto_2_67 n40_a_kyoto_2_70 VBD;__ n40_a_kyoto_2_66->n40_a_kyoto_2_70 n40_a_kyoto_2_72 NP-OB1 n40_a_kyoto_2_66->n40_a_kyoto_2_72 n40_a_kyoto_2_75 PP-NIM n40_a_kyoto_2_66->n40_a_kyoto_2_75 n40_a_kyoto_2_68 RPRO n40_a_kyoto_2_67->n40_a_kyoto_2_68 n40_a_kyoto_2_68->n40_a_kyoto_2_69 n40_a_kyoto_2_70->n40_a_kyoto_2_71 n40_a_kyoto_2_73 N n40_a_kyoto_2_72->n40_a_kyoto_2_73 n40_a_kyoto_2_73->n40_a_kyoto_2_74 n40_a_kyoto_2_76 P-ROLE n40_a_kyoto_2_75->n40_a_kyoto_2_76 n40_a_kyoto_2_78 NP n40_a_kyoto_2_75->n40_a_kyoto_2_78 n40_a_kyoto_2_76->n40_a_kyoto_2_77 n40_a_kyoto_2_79 D n40_a_kyoto_2_78->n40_a_kyoto_2_79 n40_a_kyoto_2_81 N n40_a_kyoto_2_78->n40_a_kyoto_2_81 n40_a_kyoto_2_79->n40_a_kyoto_2_80 n40_a_kyoto_2_81->n40_a_kyoto_2_82 n40_a_kyoto_2_83->n40_a_kyoto_2_84 
( (IP-MAT (NP-SBJ (NS Masters;{master})
                  (PP (P-ROLE in;{in})
                      (NP (D the;{the})
                          (NPR Tang;{Tang})
                          (N dynasty;{dynasty}))))
          (DOD did;{do})
          (NEG not;{not})
          (VB;__ learn;{learn})
          (IP-INF-OB1 (ILYR (ILYR (TO to;{to})
                                  (VB;__ get;{get})
                                  (NP-OB1 (N enlightenment;{enlightenment}))
                                  (PP-NIM (P-ROLE from;{from})
                                          (NP (D;_nphd_ anybody;{anybody}))))
                            (PUNC <hyphen>)
                            (CONJP (ILYR (NEG not;{not})
                                         (TO to;{to})
                                         (VB;__ mention;{mention})
                                         (NP-OB1 (NPR Siddhartha;{Siddhartha})
                                                 (NPR Gautama;{Gautama})
                                                 (PULB -LRB-)
                                                 (IP-PPL (NP-PRD (NPR Buddha;{Buddha})
                                                                 (PUNC ,)
                                                                 (NPR Shakuson;{Shakuson})))
                                                 (PURB -RRB-)
                                                 (PUNC ,)
                                                 (IP-REL (NP-SBJ (RPRO who;{who}))
                                                         (VBD;__ gained;{gain})
                                                         (NP-OB1 (N enlightenment;{enlightenment}))
                                                         (PP-NIM (P-ROLE without;{without})
                                                                 (NP (D a;{a})
                                                                     (N teacher;{teacher})))))))))
          (PUNC .))
  (ID 40_a_kyoto_2;BDS_00002;40))