Context                Previous, Next                Top


32_a_kyoto_2
For this reason, masters in the Tang dynasty struggled to enlightenment through much hardship.

%3 r_0032_0005__masters masters r_0032_0007__the_r_0032_0008__Tang_r_0032_0009__dynasty the Tang dynasty r_0032_0005__masters->r_0032_0007__the_r_0032_0008__Tang_r_0032_0009__dynasty in r_0032_0010__struggled struggled r_0032_0010__struggled->r_0032_0005__masters [arg0] r_0032_0002__this_r_0032_0003__reason this reason r_0032_0010__struggled->r_0032_0002__this_r_0032_0003__reason For [nim] r_0032_0012__enlightenment enlightenment r_0032_0010__struggled->r_0032_0012__enlightenment to [nim] r_0032_0015__hardship hardship r_0032_0010__struggled->r_0032_0015__hardship through [nim] r_0032_0014__much much r_0032_0015__hardship->r_0032_0014__much [attrib] 
arc(r_0032_0005__masters, r_0032_0007__the_r_0032_0008__Tang_r_0032_0009__dynasty, r_0032_0006__in).
arc(r_0032_0010__struggled, r_0032_0002__this_r_0032_0003__reason, r_0032_0001__For_nim5).
arc(r_0032_0010__struggled, r_0032_0005__masters, arg0).
arc(r_0032_0010__struggled, r_0032_0012__enlightenment, r_0032_0011__to_nim30).
arc(r_0032_0010__struggled, r_0032_0015__hardship, r_0032_0013__through_nim36).
arc(r_0032_0015__hardship, r_0032_0014__much, attrib37).


%3 r_0032_0015__hardship hardship r_0032_0014__much much r_0032_0015__hardship->r_0032_0014__much [attrib] r_0032_0010__struggled struggled r_0032_0010__struggled->r_0032_0015__hardship through [nim] r_0032_0012__enlightenment enlightenment r_0032_0010__struggled->r_0032_0012__enlightenment to [nim] r_0032_0005__masters masters r_0032_0010__struggled->r_0032_0005__masters [arg0] r_0032_0002__this_r_0032_0003__reason this reason r_0032_0010__struggled->r_0032_0002__this_r_0032_0003__reason For [nim] r_0032_0007__the_r_0032_0008__Tang_r_0032_0009__dynasty the Tang dynasty r_0032_0005__masters->r_0032_0007__the_r_0032_0008__Tang_r_0032_0009__dynasty in 
fof(formula,axiom,
    ? [R_0032_0002__THIS_R_0032_0003__REASON,R_0032_0007__THE_R_0032_0008__TANG_R_0032_0009__DYNASTY,R_0032_0005__MASTERS,R_0032_0012__ENLIGHTENMENT,R_0032_0014__MUCH,R_0032_0015__HARDSHIP,R_0032_0010__STRUGGLED] :
      ( r_0032_0002__this_r_0032_0003__reason(R_0032_0002__THIS_R_0032_0003__REASON)
      & r_0032_0007__the_r_0032_0008__Tang_r_0032_0009__dynasty(R_0032_0007__THE_R_0032_0008__TANG_R_0032_0009__DYNASTY)
      & r_0032_0012__enlightenment(R_0032_0012__ENLIGHTENMENT)
      & r_0032_0014__much(R_0032_0014__MUCH)
      & r_0032_0010__struggled(R_0032_0010__STRUGGLED)
      & has_r_0032_0013__through_nim36(R_0032_0010__STRUGGLED,R_0032_0015__HARDSHIP)
      & r_0032_0015__hardship(R_0032_0015__HARDSHIP)
      & has_attrib37(R_0032_0015__HARDSHIP,R_0032_0014__MUCH)
      & has_r_0032_0011__to_nim30(R_0032_0010__STRUGGLED,R_0032_0012__ENLIGHTENMENT)
      & has_arg0(R_0032_0010__STRUGGLED,R_0032_0005__MASTERS)
      & r_0032_0005__masters(R_0032_0005__MASTERS)
      & has_r_0032_0006__in(R_0032_0005__MASTERS,R_0032_0007__THE_R_0032_0008__TANG_R_0032_0009__DYNASTY)
      & has_r_0032_0001__For_nim5(R_0032_0010__STRUGGLED,R_0032_0002__THIS_R_0032_0003__REASON) ) ).


n32_a_kyoto_2 n32_a_kyoto_2__1_1_1_1 For n32_a_kyoto_2__1_1_2_1_1 this n32_a_kyoto_2__1_1_2_2_1 reason n32_a_kyoto_2__1_2_1 , n32_a_kyoto_2__1_3_1_1 masters n32_a_kyoto_2__1_3_2_1_1 in n32_a_kyoto_2__1_3_2_2_1_1 the n32_a_kyoto_2__1_3_2_2_2_1 Tang n32_a_kyoto_2__1_3_2_2_3_1 dynasty n32_a_kyoto_2__1_4_1 struggled n32_a_kyoto_2__1_5_1_1 to n32_a_kyoto_2__1_5_2_1_1 enlightenment n32_a_kyoto_2__1_6_1_1 through n32_a_kyoto_2__1_6_2_1_1_1 much n32_a_kyoto_2__1_6_2_2_1 hardship n32_a_kyoto_2__1_7_1 . n32_a_kyoto_2__1 IP-MAT n32_a_kyoto_2__1_1 PP-NIM n32_a_kyoto_2__1->n32_a_kyoto_2__1_1 n32_a_kyoto_2__1_2 PUNC n32_a_kyoto_2__1->n32_a_kyoto_2__1_2 n32_a_kyoto_2__1_3 NP-SBJ n32_a_kyoto_2__1->n32_a_kyoto_2__1_3 n32_a_kyoto_2__1_4 VBD;__ n32_a_kyoto_2__1->n32_a_kyoto_2__1_4 n32_a_kyoto_2__1_5 PP-NIM n32_a_kyoto_2__1->n32_a_kyoto_2__1_5 n32_a_kyoto_2__1_6 PP-NIM n32_a_kyoto_2__1->n32_a_kyoto_2__1_6 n32_a_kyoto_2__1_7 PUNC n32_a_kyoto_2__1->n32_a_kyoto_2__1_7 n32_a_kyoto_2__1_1_1 P-ROLE n32_a_kyoto_2__1_1->n32_a_kyoto_2__1_1_1 n32_a_kyoto_2__1_1_2 NP n32_a_kyoto_2__1_1->n32_a_kyoto_2__1_1_2 n32_a_kyoto_2__1_1_1->n32_a_kyoto_2__1_1_1_1 n32_a_kyoto_2__1_1_2_1 D n32_a_kyoto_2__1_1_2->n32_a_kyoto_2__1_1_2_1 n32_a_kyoto_2__1_1_2_2 N n32_a_kyoto_2__1_1_2->n32_a_kyoto_2__1_1_2_2 n32_a_kyoto_2__1_1_2_1->n32_a_kyoto_2__1_1_2_1_1 n32_a_kyoto_2__1_1_2_2->n32_a_kyoto_2__1_1_2_2_1 n32_a_kyoto_2__1_2->n32_a_kyoto_2__1_2_1 n32_a_kyoto_2__1_3_1 NS n32_a_kyoto_2__1_3->n32_a_kyoto_2__1_3_1 n32_a_kyoto_2__1_3_2 PP n32_a_kyoto_2__1_3->n32_a_kyoto_2__1_3_2 n32_a_kyoto_2__1_3_1->n32_a_kyoto_2__1_3_1_1 n32_a_kyoto_2__1_3_2_1 P-ROLE n32_a_kyoto_2__1_3_2->n32_a_kyoto_2__1_3_2_1 n32_a_kyoto_2__1_3_2_2 NP n32_a_kyoto_2__1_3_2->n32_a_kyoto_2__1_3_2_2 n32_a_kyoto_2__1_3_2_1->n32_a_kyoto_2__1_3_2_1_1 n32_a_kyoto_2__1_3_2_2_1 D n32_a_kyoto_2__1_3_2_2->n32_a_kyoto_2__1_3_2_2_1 n32_a_kyoto_2__1_3_2_2_2 NPR n32_a_kyoto_2__1_3_2_2->n32_a_kyoto_2__1_3_2_2_2 n32_a_kyoto_2__1_3_2_2_3 N n32_a_kyoto_2__1_3_2_2->n32_a_kyoto_2__1_3_2_2_3 n32_a_kyoto_2__1_3_2_2_1->n32_a_kyoto_2__1_3_2_2_1_1 n32_a_kyoto_2__1_3_2_2_2->n32_a_kyoto_2__1_3_2_2_2_1 n32_a_kyoto_2__1_3_2_2_3->n32_a_kyoto_2__1_3_2_2_3_1 n32_a_kyoto_2__1_4->n32_a_kyoto_2__1_4_1 n32_a_kyoto_2__1_5_1 P-ROLE n32_a_kyoto_2__1_5->n32_a_kyoto_2__1_5_1 n32_a_kyoto_2__1_5_2 NP n32_a_kyoto_2__1_5->n32_a_kyoto_2__1_5_2 n32_a_kyoto_2__1_5_1->n32_a_kyoto_2__1_5_1_1 n32_a_kyoto_2__1_5_2_1 N n32_a_kyoto_2__1_5_2->n32_a_kyoto_2__1_5_2_1 n32_a_kyoto_2__1_5_2_1->n32_a_kyoto_2__1_5_2_1_1 n32_a_kyoto_2__1_6_1 P-ROLE n32_a_kyoto_2__1_6->n32_a_kyoto_2__1_6_1 n32_a_kyoto_2__1_6_2 NP n32_a_kyoto_2__1_6->n32_a_kyoto_2__1_6_2 n32_a_kyoto_2__1_6_1->n32_a_kyoto_2__1_6_1_1 n32_a_kyoto_2__1_6_2_1 ADJP n32_a_kyoto_2__1_6_2->n32_a_kyoto_2__1_6_2_1 n32_a_kyoto_2__1_6_2_2 N n32_a_kyoto_2__1_6_2->n32_a_kyoto_2__1_6_2_2 n32_a_kyoto_2__1_6_2_1_1 ADJ n32_a_kyoto_2__1_6_2_1->n32_a_kyoto_2__1_6_2_1_1 n32_a_kyoto_2__1_6_2_1_1->n32_a_kyoto_2__1_6_2_1_1_1 n32_a_kyoto_2__1_6_2_2->n32_a_kyoto_2__1_6_2_2_1 n32_a_kyoto_2__1_7->n32_a_kyoto_2__1_7_1 
( (IP-MAT (PP-NIM (P-ROLE For;{for})
                  (NP (D this;{this})
                      (N reason;{reason})))
          (PUNC ,)
          (NP-SBJ;{MASTERS} (NS masters;{master})
                            (PP (P-ROLE in;{in})
                                (NP (D the;{the})
                                    (NPR Tang;{Tang})
                                    (N dynasty;{dynasty}))))
          (VBD;__ struggled;{struggle})
          (PP-NIM (P-ROLE to;{to})
                  (NP (N enlightenment;{enlightenment})))
          (PP-NIM (P-ROLE through;{through})
                  (NP (ADJP (ADJ much;{much}))
                      (N hardship;{hardship})))
          (PUNC .))
  (ID 32_a_kyoto_2;BDS_00002;32))