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.

n40_a_kyoto_2 n40_a_kyoto_2__1_1_1_1 Masters n40_a_kyoto_2__1_1_2_1_1 in n40_a_kyoto_2__1_1_2_2_1_1 the n40_a_kyoto_2__1_1_2_2_2_1 Tang n40_a_kyoto_2__1_1_2_2_3_1 dynasty n40_a_kyoto_2__1_2_1 did n40_a_kyoto_2__1_3_1 not n40_a_kyoto_2__1_4_1 learn n40_a_kyoto_2__1_5_1_1_1_1 to n40_a_kyoto_2__1_5_1_1_2_1 get n40_a_kyoto_2__1_5_1_1_3_1_1 enlightenment n40_a_kyoto_2__1_5_1_1_4_1_1 from n40_a_kyoto_2__1_5_1_1_4_2_1_1 anybody n40_a_kyoto_2__1_5_1_2_1 - n40_a_kyoto_2__1_5_1_3_1_1_1 not n40_a_kyoto_2__1_5_1_3_1_2_1 to n40_a_kyoto_2__1_5_1_3_1_3_1 mention n40_a_kyoto_2__1_5_1_3_1_4_1_1 Siddhartha n40_a_kyoto_2__1_5_1_3_1_4_2_1 Gautama n40_a_kyoto_2__1_5_1_3_1_4_3_1 -LRB- n40_a_kyoto_2__1_5_1_3_1_4_4_1_1_1 Buddha n40_a_kyoto_2__1_5_1_3_1_4_4_1_2_1 , n40_a_kyoto_2__1_5_1_3_1_4_4_1_3_1 Shakuson n40_a_kyoto_2__1_5_1_3_1_4_5_1 -RRB- n40_a_kyoto_2__1_5_1_3_1_4_6_1 , n40_a_kyoto_2__1_5_1_3_1_4_7_1_1_1 who n40_a_kyoto_2__1_5_1_3_1_4_7_2_1 gained n40_a_kyoto_2__1_5_1_3_1_4_7_3_1_1 enlightenment n40_a_kyoto_2__1_5_1_3_1_4_7_4_1_1 without n40_a_kyoto_2__1_5_1_3_1_4_7_4_2_1_1 a n40_a_kyoto_2__1_5_1_3_1_4_7_4_2_2_1 teacher n40_a_kyoto_2__1_6_1 . n40_a_kyoto_2__1 IP-MAT n40_a_kyoto_2__1_1 NP-SBJ n40_a_kyoto_2__1->n40_a_kyoto_2__1_1 n40_a_kyoto_2__1_2 DOD n40_a_kyoto_2__1->n40_a_kyoto_2__1_2 n40_a_kyoto_2__1_3 NEG n40_a_kyoto_2__1->n40_a_kyoto_2__1_3 n40_a_kyoto_2__1_4 VB;__ n40_a_kyoto_2__1->n40_a_kyoto_2__1_4 n40_a_kyoto_2__1_5 IP-INF-OB1 n40_a_kyoto_2__1->n40_a_kyoto_2__1_5 n40_a_kyoto_2__1_6 PUNC n40_a_kyoto_2__1->n40_a_kyoto_2__1_6 n40_a_kyoto_2__1_1_1 NS n40_a_kyoto_2__1_1->n40_a_kyoto_2__1_1_1 n40_a_kyoto_2__1_1_2 PP n40_a_kyoto_2__1_1->n40_a_kyoto_2__1_1_2 n40_a_kyoto_2__1_1_1->n40_a_kyoto_2__1_1_1_1 n40_a_kyoto_2__1_1_2_1 P-ROLE n40_a_kyoto_2__1_1_2->n40_a_kyoto_2__1_1_2_1 n40_a_kyoto_2__1_1_2_2 NP n40_a_kyoto_2__1_1_2->n40_a_kyoto_2__1_1_2_2 n40_a_kyoto_2__1_1_2_1->n40_a_kyoto_2__1_1_2_1_1 n40_a_kyoto_2__1_1_2_2_1 D n40_a_kyoto_2__1_1_2_2->n40_a_kyoto_2__1_1_2_2_1 n40_a_kyoto_2__1_1_2_2_2 NPR n40_a_kyoto_2__1_1_2_2->n40_a_kyoto_2__1_1_2_2_2 n40_a_kyoto_2__1_1_2_2_3 N n40_a_kyoto_2__1_1_2_2->n40_a_kyoto_2__1_1_2_2_3 n40_a_kyoto_2__1_1_2_2_1->n40_a_kyoto_2__1_1_2_2_1_1 n40_a_kyoto_2__1_1_2_2_2->n40_a_kyoto_2__1_1_2_2_2_1 n40_a_kyoto_2__1_1_2_2_3->n40_a_kyoto_2__1_1_2_2_3_1 n40_a_kyoto_2__1_2->n40_a_kyoto_2__1_2_1 n40_a_kyoto_2__1_3->n40_a_kyoto_2__1_3_1 n40_a_kyoto_2__1_4->n40_a_kyoto_2__1_4_1 n40_a_kyoto_2__1_5_1 ILYR n40_a_kyoto_2__1_5->n40_a_kyoto_2__1_5_1 n40_a_kyoto_2__1_5_1_1 ILYR n40_a_kyoto_2__1_5_1->n40_a_kyoto_2__1_5_1_1 n40_a_kyoto_2__1_5_1_2 PUNC n40_a_kyoto_2__1_5_1->n40_a_kyoto_2__1_5_1_2 n40_a_kyoto_2__1_5_1_3 CONJP n40_a_kyoto_2__1_5_1->n40_a_kyoto_2__1_5_1_3 n40_a_kyoto_2__1_5_1_1_1 TO n40_a_kyoto_2__1_5_1_1->n40_a_kyoto_2__1_5_1_1_1 n40_a_kyoto_2__1_5_1_1_2 VB;__ n40_a_kyoto_2__1_5_1_1->n40_a_kyoto_2__1_5_1_1_2 n40_a_kyoto_2__1_5_1_1_3 NP-OB1 n40_a_kyoto_2__1_5_1_1->n40_a_kyoto_2__1_5_1_1_3 n40_a_kyoto_2__1_5_1_1_4 PP-NIM n40_a_kyoto_2__1_5_1_1->n40_a_kyoto_2__1_5_1_1_4 n40_a_kyoto_2__1_5_1_1_1->n40_a_kyoto_2__1_5_1_1_1_1 n40_a_kyoto_2__1_5_1_1_2->n40_a_kyoto_2__1_5_1_1_2_1 n40_a_kyoto_2__1_5_1_1_3_1 N n40_a_kyoto_2__1_5_1_1_3->n40_a_kyoto_2__1_5_1_1_3_1 n40_a_kyoto_2__1_5_1_1_3_1->n40_a_kyoto_2__1_5_1_1_3_1_1 n40_a_kyoto_2__1_5_1_1_4_1 P-ROLE n40_a_kyoto_2__1_5_1_1_4->n40_a_kyoto_2__1_5_1_1_4_1 n40_a_kyoto_2__1_5_1_1_4_2 NP n40_a_kyoto_2__1_5_1_1_4->n40_a_kyoto_2__1_5_1_1_4_2 n40_a_kyoto_2__1_5_1_1_4_1->n40_a_kyoto_2__1_5_1_1_4_1_1 n40_a_kyoto_2__1_5_1_1_4_2_1 D;_nphd_ n40_a_kyoto_2__1_5_1_1_4_2->n40_a_kyoto_2__1_5_1_1_4_2_1 n40_a_kyoto_2__1_5_1_1_4_2_1->n40_a_kyoto_2__1_5_1_1_4_2_1_1 n40_a_kyoto_2__1_5_1_2->n40_a_kyoto_2__1_5_1_2_1 n40_a_kyoto_2__1_5_1_3_1 ILYR n40_a_kyoto_2__1_5_1_3->n40_a_kyoto_2__1_5_1_3_1 n40_a_kyoto_2__1_5_1_3_1_1 NEG n40_a_kyoto_2__1_5_1_3_1->n40_a_kyoto_2__1_5_1_3_1_1 n40_a_kyoto_2__1_5_1_3_1_2 TO n40_a_kyoto_2__1_5_1_3_1->n40_a_kyoto_2__1_5_1_3_1_2 n40_a_kyoto_2__1_5_1_3_1_3 VB;__ n40_a_kyoto_2__1_5_1_3_1->n40_a_kyoto_2__1_5_1_3_1_3 n40_a_kyoto_2__1_5_1_3_1_4 NP-OB1 n40_a_kyoto_2__1_5_1_3_1->n40_a_kyoto_2__1_5_1_3_1_4 n40_a_kyoto_2__1_5_1_3_1_1->n40_a_kyoto_2__1_5_1_3_1_1_1 n40_a_kyoto_2__1_5_1_3_1_2->n40_a_kyoto_2__1_5_1_3_1_2_1 n40_a_kyoto_2__1_5_1_3_1_3->n40_a_kyoto_2__1_5_1_3_1_3_1 n40_a_kyoto_2__1_5_1_3_1_4_1 NPR n40_a_kyoto_2__1_5_1_3_1_4->n40_a_kyoto_2__1_5_1_3_1_4_1 n40_a_kyoto_2__1_5_1_3_1_4_2 NPR n40_a_kyoto_2__1_5_1_3_1_4->n40_a_kyoto_2__1_5_1_3_1_4_2 n40_a_kyoto_2__1_5_1_3_1_4_3 PULB n40_a_kyoto_2__1_5_1_3_1_4->n40_a_kyoto_2__1_5_1_3_1_4_3 n40_a_kyoto_2__1_5_1_3_1_4_4 PRN n40_a_kyoto_2__1_5_1_3_1_4->n40_a_kyoto_2__1_5_1_3_1_4_4 n40_a_kyoto_2__1_5_1_3_1_4_5 PURB n40_a_kyoto_2__1_5_1_3_1_4->n40_a_kyoto_2__1_5_1_3_1_4_5 n40_a_kyoto_2__1_5_1_3_1_4_6 PUNC n40_a_kyoto_2__1_5_1_3_1_4->n40_a_kyoto_2__1_5_1_3_1_4_6 n40_a_kyoto_2__1_5_1_3_1_4_7 IP-REL n40_a_kyoto_2__1_5_1_3_1_4->n40_a_kyoto_2__1_5_1_3_1_4_7 n40_a_kyoto_2__1_5_1_3_1_4_1->n40_a_kyoto_2__1_5_1_3_1_4_1_1 n40_a_kyoto_2__1_5_1_3_1_4_2->n40_a_kyoto_2__1_5_1_3_1_4_2_1 n40_a_kyoto_2__1_5_1_3_1_4_3->n40_a_kyoto_2__1_5_1_3_1_4_3_1 n40_a_kyoto_2__1_5_1_3_1_4_4_1 NP n40_a_kyoto_2__1_5_1_3_1_4_4->n40_a_kyoto_2__1_5_1_3_1_4_4_1 n40_a_kyoto_2__1_5_1_3_1_4_4_1_1 NPR n40_a_kyoto_2__1_5_1_3_1_4_4_1->n40_a_kyoto_2__1_5_1_3_1_4_4_1_1 n40_a_kyoto_2__1_5_1_3_1_4_4_1_2 PUNC n40_a_kyoto_2__1_5_1_3_1_4_4_1->n40_a_kyoto_2__1_5_1_3_1_4_4_1_2 n40_a_kyoto_2__1_5_1_3_1_4_4_1_3 NPR n40_a_kyoto_2__1_5_1_3_1_4_4_1->n40_a_kyoto_2__1_5_1_3_1_4_4_1_3 n40_a_kyoto_2__1_5_1_3_1_4_4_1_1->n40_a_kyoto_2__1_5_1_3_1_4_4_1_1_1 n40_a_kyoto_2__1_5_1_3_1_4_4_1_2->n40_a_kyoto_2__1_5_1_3_1_4_4_1_2_1 n40_a_kyoto_2__1_5_1_3_1_4_4_1_3->n40_a_kyoto_2__1_5_1_3_1_4_4_1_3_1 n40_a_kyoto_2__1_5_1_3_1_4_5->n40_a_kyoto_2__1_5_1_3_1_4_5_1 n40_a_kyoto_2__1_5_1_3_1_4_6->n40_a_kyoto_2__1_5_1_3_1_4_6_1 n40_a_kyoto_2__1_5_1_3_1_4_7_1 NP-SBJ n40_a_kyoto_2__1_5_1_3_1_4_7->n40_a_kyoto_2__1_5_1_3_1_4_7_1 n40_a_kyoto_2__1_5_1_3_1_4_7_2 VBD;__ n40_a_kyoto_2__1_5_1_3_1_4_7->n40_a_kyoto_2__1_5_1_3_1_4_7_2 n40_a_kyoto_2__1_5_1_3_1_4_7_3 NP-OB1 n40_a_kyoto_2__1_5_1_3_1_4_7->n40_a_kyoto_2__1_5_1_3_1_4_7_3 n40_a_kyoto_2__1_5_1_3_1_4_7_4 PP-NIM n40_a_kyoto_2__1_5_1_3_1_4_7->n40_a_kyoto_2__1_5_1_3_1_4_7_4 n40_a_kyoto_2__1_5_1_3_1_4_7_1_1 RPRO n40_a_kyoto_2__1_5_1_3_1_4_7_1->n40_a_kyoto_2__1_5_1_3_1_4_7_1_1 n40_a_kyoto_2__1_5_1_3_1_4_7_1_1->n40_a_kyoto_2__1_5_1_3_1_4_7_1_1_1 n40_a_kyoto_2__1_5_1_3_1_4_7_2->n40_a_kyoto_2__1_5_1_3_1_4_7_2_1 n40_a_kyoto_2__1_5_1_3_1_4_7_3_1 N n40_a_kyoto_2__1_5_1_3_1_4_7_3->n40_a_kyoto_2__1_5_1_3_1_4_7_3_1 n40_a_kyoto_2__1_5_1_3_1_4_7_3_1->n40_a_kyoto_2__1_5_1_3_1_4_7_3_1_1 n40_a_kyoto_2__1_5_1_3_1_4_7_4_1 P-ROLE n40_a_kyoto_2__1_5_1_3_1_4_7_4->n40_a_kyoto_2__1_5_1_3_1_4_7_4_1 n40_a_kyoto_2__1_5_1_3_1_4_7_4_2 NP n40_a_kyoto_2__1_5_1_3_1_4_7_4->n40_a_kyoto_2__1_5_1_3_1_4_7_4_2 n40_a_kyoto_2__1_5_1_3_1_4_7_4_1->n40_a_kyoto_2__1_5_1_3_1_4_7_4_1_1 n40_a_kyoto_2__1_5_1_3_1_4_7_4_2_1 D n40_a_kyoto_2__1_5_1_3_1_4_7_4_2->n40_a_kyoto_2__1_5_1_3_1_4_7_4_2_1 n40_a_kyoto_2__1_5_1_3_1_4_7_4_2_2 N n40_a_kyoto_2__1_5_1_3_1_4_7_4_2->n40_a_kyoto_2__1_5_1_3_1_4_7_4_2_2 n40_a_kyoto_2__1_5_1_3_1_4_7_4_2_1->n40_a_kyoto_2__1_5_1_3_1_4_7_4_2_1_1 n40_a_kyoto_2__1_5_1_3_1_4_7_4_2_2->n40_a_kyoto_2__1_5_1_3_1_4_7_4_2_2_1 n40_a_kyoto_2__1_6->n40_a_kyoto_2__1_6_1 
( (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-)
                                                 (PRN (NP (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))


%3 z_0040_5007 r_0040_0021__Buddha_r_0040_0023__Shakuson Buddha Shakuson z_0040_5007->r_0040_0021__Buddha_r_0040_0023__Shakuson [prd] r_0040_0018__Siddhartha_r_0040_0019__Gautama Siddhartha Gautama z_0040_5007->r_0040_0018__Siddhartha_r_0040_0019__Gautama [arg0] z_0040_5004 r_0040_0015__not not z_0040_5004->r_0040_0015__not [conj2] r_0040_0010__get get z_0040_5004->r_0040_0010__get [conj1] r_0040_0017__mention mention r_0040_0015__not->r_0040_0017__mention [keep_scope] r_0040_0001__Masters Masters r_0040_0010__get->r_0040_0001__Masters [arg0] r_0040_0013__anybody anybody r_0040_0010__get->r_0040_0013__anybody from [nim] r_0040_0011__enlightenment enlightenment r_0040_0010__get->r_0040_0011__enlightenment [arg1] r_0040_0027__gained gained r_0040_0027__gained->r_0040_0018__Siddhartha_r_0040_0019__Gautama [arg0] r_0040_0030__a_r_0040_0031__teacher a teacher r_0040_0027__gained->r_0040_0030__a_r_0040_0031__teacher without [nim] r_0040_0028__enlightenment enlightenment r_0040_0027__gained->r_0040_0028__enlightenment [arg1] r_0040_0017__mention->r_0040_0018__Siddhartha_r_0040_0019__Gautama [arg1] r_0040_0017__mention->r_0040_0001__Masters [arg0] 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_0007__not not r_0040_0006__did_r_0040_0008__learn did learn r_0040_0007__not->r_0040_0006__did_r_0040_0008__learn [keep_scope] r_0040_0006__did_r_0040_0008__learn->z_0040_5004 [arg1] r_0040_0006__did_r_0040_0008__learn->r_0040_0001__Masters [arg0] 
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_0040_5004,arg1).
arc(r_0040_0007__not,r_0040_0006__did_r_0040_0008__learn,keep_scope).
arc(r_0040_0010__get,r_0040_0001__Masters,arg0).
arc(r_0040_0010__get,r_0040_0011__enlightenment,arg1).
arc(r_0040_0010__get,r_0040_0013__anybody,r_0040_0012__from__nim).
arc(r_0040_0015__not,r_0040_0017__mention,keep_scope).
arc(r_0040_0017__mention,r_0040_0001__Masters,arg0).
arc(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__nim).
arc(z_0040_5004,r_0040_0010__get,conj1).
arc(z_0040_5004,r_0040_0015__not,conj2).
arc(z_0040_5007,r_0040_0018__Siddhartha_r_0040_0019__Gautama,arg0).
arc(z_0040_5007,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_0040_5004 r_0040_0006__did_r_0040_0008__learn->z_0040_5004 [arg1] r_0040_0010__get get z_0040_5004->r_0040_0010__get [conj1] r_0040_0015__not not z_0040_5004->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_0010__get->r_0040_0001__Masters [arg0] r_0040_0011__enlightenment enlightenment r_0040_0010__get->r_0040_0011__enlightenment [arg1] r_0040_0013__anybody anybody r_0040_0010__get->r_0040_0013__anybody from [nim] r_0040_0017__mention mention r_0040_0015__not->r_0040_0017__mention [keep_scope] r_0040_0017__mention->r_0040_0001__Masters [arg0] r_0040_0018__Siddhartha_r_0040_0019__Gautama Siddhartha Gautama 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_0040_5007 z_0040_5007->r_0040_0018__Siddhartha_r_0040_0019__Gautama [arg0] r_0040_0021__Buddha_r_0040_0023__Shakuson Buddha Shakuson z_0040_5007->r_0040_0021__Buddha_r_0040_0023__Shakuson [prd] 
fof(formula,axiom,
    ? [R_0040_0018__SIDDHARTHA_R_0040_0019__GAUTAMA,R_0040_0028__ENLIGHTENMENT,R_0040_0030__A_R_0040_0031__TEACHER,R_0040_0027__GAINED,R_0040_0021__BUDDHA_R_0040_0023__SHAKUSON,Z_0040_5007] :
      ( r_0040_0018__Siddhartha_r_0040_0019__Gautama(R_0040_0018__SIDDHARTHA_R_0040_0019__GAUTAMA)
      & r_0040_0021__Buddha_r_0040_0023__Shakuson(R_0040_0021__BUDDHA_R_0040_0023__SHAKUSON)
      & r_0040_0028__enlightenment(R_0040_0028__ENLIGHTENMENT)
      & r_0040_0030__a_r_0040_0031__teacher(R_0040_0030__A_R_0040_0031__TEACHER)
      & z_0040_5007(Z_0040_5007)
      & has_prd(Z_0040_5007,R_0040_0021__BUDDHA_R_0040_0023__SHAKUSON)
      & has_arg0(Z_0040_5007,R_0040_0018__SIDDHARTHA_R_0040_0019__GAUTAMA)
      & r_0040_0027__gained(R_0040_0027__GAINED)
      & has_r_0040_0029__without__nim(R_0040_0027__GAINED,R_0040_0030__A_R_0040_0031__TEACHER)
      & has_arg1(R_0040_0027__GAINED,R_0040_0028__ENLIGHTENMENT)
      & has_arg0(R_0040_0027__GAINED,R_0040_0018__SIDDHARTHA_R_0040_0019__GAUTAMA)
      & ~ ? [R_0040_0003__THE_R_0040_0004__TANG_R_0040_0005__DYNASTY,R_0040_0001__MASTERS,R_0040_0011__ENLIGHTENMENT,R_0040_0013__ANYBODY,R_0040_0010__GET,Z_0040_5004,R_0040_0006__DID_R_0040_0008__LEARN] :
            ( r_0040_0003__the_r_0040_0004__Tang_r_0040_0005__dynasty(R_0040_0003__THE_R_0040_0004__TANG_R_0040_0005__DYNASTY)
            & r_0040_0011__enlightenment(R_0040_0011__ENLIGHTENMENT)
            & r_0040_0013__anybody(R_0040_0013__ANYBODY)
            & r_0040_0006__did_r_0040_0008__learn(R_0040_0006__DID_R_0040_0008__LEARN)
            & has_arg1(R_0040_0006__DID_R_0040_0008__LEARN,Z_0040_5004)
            & z_0040_5004(Z_0040_5004)
            & has_conj2(Z_0040_5004,R_0040_0015__NOT)
            & ~ ? [R_0040_0017__MENTION] :
                  ( r_0040_0017__mention(R_0040_0017__MENTION)
                  & has_arg1(R_0040_0017__MENTION,R_0040_0018__SIDDHARTHA_R_0040_0019__GAUTAMA)
                  & has_arg0(R_0040_0017__MENTION,R_0040_0001__MASTERS) )
            & has_conj1(Z_0040_5004,R_0040_0010__GET)
            & r_0040_0010__get(R_0040_0010__GET)
            & has_r_0040_0012__from__nim(R_0040_0010__GET,R_0040_0013__ANYBODY)
            & has_arg1(R_0040_0010__GET,R_0040_0011__ENLIGHTENMENT)
            & has_arg0(R_0040_0010__GET,R_0040_0001__MASTERS)
            & r_0040_0001__Masters(R_0040_0001__MASTERS)
            & has_r_0040_0002__in(R_0040_0001__MASTERS,R_0040_0003__THE_R_0040_0004__TANG_R_0040_0005__DYNASTY)
            & has_arg0(R_0040_0006__DID_R_0040_0008__LEARN,R_0040_0001__MASTERS) ) ) ).