TSPC 32_a_kyoto

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

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

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__nim).
arc(r_0032_0010__struggled,r_0032_0005__masters,arg0).
arc(r_0032_0010__struggled,r_0032_0012__enlightenment,r_0032_0011__to__nim).
arc(r_0032_0010__struggled,r_0032_0015__hardship,r_0032_0013__through__nim).
arc(r_0032_0015__hardship,r_0032_0014__much,attrib).

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__nim(R_0032_0010__STRUGGLED,R_0032_0015__HARDSHIP)
      & r_0032_0015__hardship(R_0032_0015__HARDSHIP)
      & has_attrib(R_0032_0015__HARDSHIP,R_0032_0014__MUCH)
      & has_r_0032_0011__to__nim(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__nim(R_0032_0010__STRUGGLED,R_0032_0002__THIS_R_0032_0003__REASON) ) ).