TSPC 40_a_kyoto

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.

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

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_000_40_A_KYOTO_2_54] :
      ( 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_000_40_a_kyoto_2_54(Z_000_40_A_KYOTO_2_54)
      & has_prd(Z_000_40_A_KYOTO_2_54,R_0040_0021__BUDDHA_R_0040_0023__SHAKUSON)
      & has_arg0(Z_000_40_A_KYOTO_2_54,R_0040_0018__SIDDHARTHA_R_0040_0019__GAUTAMA)
      & r_0040_0027__gained(R_0040_0027__GAINED)
      & has_r_0040_0029__without_nim78(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_0009__TO_R_0040_0010__GET,Z_000_40_A_KYOTO_2_22,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_000_40_A_KYOTO_2_22)
            & z_000_40_a_kyoto_2_22(Z_000_40_A_KYOTO_2_22)
            & has_conj2(Z_000_40_A_KYOTO_2_22,R_0040_0015__NOT)
            & ~ ? [R_0040_0016__TO_R_0040_0017__MENTION] :
                  ( r_0040_0016__to_r_0040_0017__mention(R_0040_0016__TO_R_0040_0017__MENTION)
                  & has_arg1(R_0040_0016__TO_R_0040_0017__MENTION,R_0040_0018__SIDDHARTHA_R_0040_0019__GAUTAMA)
                  & has_arg0(R_0040_0016__TO_R_0040_0017__MENTION,R_0040_0001__MASTERS) )
            & has_conj1(Z_000_40_A_KYOTO_2_22,R_0040_0009__TO_R_0040_0010__GET)
            & r_0040_0009__to_r_0040_0010__get(R_0040_0009__TO_R_0040_0010__GET)
            & has_r_0040_0012__from_nim34(R_0040_0009__TO_R_0040_0010__GET,R_0040_0013__ANYBODY)
            & has_arg1(R_0040_0009__TO_R_0040_0010__GET,R_0040_0011__ENLIGHTENMENT)
            & has_arg0(R_0040_0009__TO_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) ) ) ).

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