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_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] 
fof(formula,axiom,
    ? [R_32_10_STRUGGLED,R_32_5_MASTERS,R_32_7_THE_TANG_DYNASTY,R_32_2_THIS_REASON,R_32_12_ENLIGHTENMENT,R_32_15_HARDSHIP,R_32_14_MUCH] :
      ( the_Tang_dynasty(R_32_7_THE_TANG_DYNASTY)
      & this_reason(R_32_2_THIS_REASON)
      & enlightenment(R_32_12_ENLIGHTENMENT)
      & much(R_32_14_MUCH)
      & struggled(R_32_10_STRUGGLED,R_32_5_MASTERS)
      & masters(R_32_5_MASTERS)
      & in(R_32_5_MASTERS,R_32_7_THE_TANG_DYNASTY)
      & for_nim5(R_32_10_STRUGGLED,R_32_2_THIS_REASON)
      & to_nim30(R_32_10_STRUGGLED,R_32_12_ENLIGHTENMENT)
      & through_nim36(R_32_10_STRUGGLED,R_32_15_HARDSHIP)
      & hardship(R_32_15_HARDSHIP)
      & attrib37(R_32_15_HARDSHIP,R_32_14_MUCH) ) ).


n32_a_kyoto_2 n32_a_kyoto_2_4 For n32_a_kyoto_2_7 this n32_a_kyoto_2_9 reason n32_a_kyoto_2_11 , n32_a_kyoto_2_14 masters n32_a_kyoto_2_17 in n32_a_kyoto_2_20 the n32_a_kyoto_2_22 Tang n32_a_kyoto_2_24 dynasty n32_a_kyoto_2_26 struggled n32_a_kyoto_2_29 to n32_a_kyoto_2_32 enlightenment n32_a_kyoto_2_35 through n32_a_kyoto_2_39 much n32_a_kyoto_2_41 hardship n32_a_kyoto_2_43 . n32_a_kyoto_2_1 IP-MAT n32_a_kyoto_2_2 PP-NIM n32_a_kyoto_2_1->n32_a_kyoto_2_2 n32_a_kyoto_2_10 PUNC n32_a_kyoto_2_1->n32_a_kyoto_2_10 n32_a_kyoto_2_12 NP-SBJ n32_a_kyoto_2_1->n32_a_kyoto_2_12 n32_a_kyoto_2_25 VBD;__ n32_a_kyoto_2_1->n32_a_kyoto_2_25 n32_a_kyoto_2_27 PP-NIM n32_a_kyoto_2_1->n32_a_kyoto_2_27 n32_a_kyoto_2_33 PP-NIM n32_a_kyoto_2_1->n32_a_kyoto_2_33 n32_a_kyoto_2_42 PUNC n32_a_kyoto_2_1->n32_a_kyoto_2_42 n32_a_kyoto_2_3 P-ROLE n32_a_kyoto_2_2->n32_a_kyoto_2_3 n32_a_kyoto_2_5 NP n32_a_kyoto_2_2->n32_a_kyoto_2_5 n32_a_kyoto_2_3->n32_a_kyoto_2_4 n32_a_kyoto_2_6 D n32_a_kyoto_2_5->n32_a_kyoto_2_6 n32_a_kyoto_2_8 N n32_a_kyoto_2_5->n32_a_kyoto_2_8 n32_a_kyoto_2_6->n32_a_kyoto_2_7 n32_a_kyoto_2_8->n32_a_kyoto_2_9 n32_a_kyoto_2_10->n32_a_kyoto_2_11 n32_a_kyoto_2_13 NS n32_a_kyoto_2_12->n32_a_kyoto_2_13 n32_a_kyoto_2_15 PP n32_a_kyoto_2_12->n32_a_kyoto_2_15 n32_a_kyoto_2_13->n32_a_kyoto_2_14 n32_a_kyoto_2_16 P-ROLE n32_a_kyoto_2_15->n32_a_kyoto_2_16 n32_a_kyoto_2_18 NP n32_a_kyoto_2_15->n32_a_kyoto_2_18 n32_a_kyoto_2_16->n32_a_kyoto_2_17 n32_a_kyoto_2_19 D n32_a_kyoto_2_18->n32_a_kyoto_2_19 n32_a_kyoto_2_21 NPR n32_a_kyoto_2_18->n32_a_kyoto_2_21 n32_a_kyoto_2_23 N n32_a_kyoto_2_18->n32_a_kyoto_2_23 n32_a_kyoto_2_19->n32_a_kyoto_2_20 n32_a_kyoto_2_21->n32_a_kyoto_2_22 n32_a_kyoto_2_23->n32_a_kyoto_2_24 n32_a_kyoto_2_25->n32_a_kyoto_2_26 n32_a_kyoto_2_28 P-ROLE n32_a_kyoto_2_27->n32_a_kyoto_2_28 n32_a_kyoto_2_30 NP n32_a_kyoto_2_27->n32_a_kyoto_2_30 n32_a_kyoto_2_28->n32_a_kyoto_2_29 n32_a_kyoto_2_31 N n32_a_kyoto_2_30->n32_a_kyoto_2_31 n32_a_kyoto_2_31->n32_a_kyoto_2_32 n32_a_kyoto_2_34 P-ROLE n32_a_kyoto_2_33->n32_a_kyoto_2_34 n32_a_kyoto_2_36 NP n32_a_kyoto_2_33->n32_a_kyoto_2_36 n32_a_kyoto_2_34->n32_a_kyoto_2_35 n32_a_kyoto_2_37 ADJP n32_a_kyoto_2_36->n32_a_kyoto_2_37 n32_a_kyoto_2_40 N n32_a_kyoto_2_36->n32_a_kyoto_2_40 n32_a_kyoto_2_38 ADJ n32_a_kyoto_2_37->n32_a_kyoto_2_38 n32_a_kyoto_2_38->n32_a_kyoto_2_39 n32_a_kyoto_2_40->n32_a_kyoto_2_41 n32_a_kyoto_2_42->n32_a_kyoto_2_43 
( (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))