TSPC 125_a_stuck

125_a_stuck_japan
Grandpa Kishi was a member of the wartime junta and was arrested by the Americans as a suspected war criminal.

( (IP-MAT (NP-SBJ (NPR Grandpa;{Grandpa})
                  (NPR Kishi;{Kishi}))
          (ILYR (ILYR (BED;__ was;{be})
                      (NP-PRD (D a;{a})
                              (N member;{member})
                              (PP (P-ROLE of;{of})
                                  (NP (D the;{the})
                                      (N wartime;{wartime})
                                      (N junta;{junta})))))
                (CONJP (CONJ and;{and})
                       (ILYR (BED;_cat_VePASS_ was;{be})
                             (IP-PPL-CAT (VVN;__ arrested;{arrest})
                                         (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                 (NP (D the;{the})
                                                     (NPRS Americans;{American})))
                                         (PP-PRD (P-ROLE as;{as})
                                                 (NP (D a;{a})
                                                     (ADJP (ADJ suspected;{suspected}))
                                                     (N war;{war})
                                                     (N criminal;{criminal})))))))
          (PUNC .))
  (ID 125_a_stuck_japan))

arc(r_0125_0003__was,r_0125_0001__Grandpa_r_0125_0002__Kishi,arg0).
arc(r_0125_0003__was,r_0125_0004__a_r_0125_0005__member,prd).
arc(r_0125_0004__a_r_0125_0005__member,r_0125_0007__the_r_0125_0008__wartime_r_0125_0009__junta,r_0125_0006__of).
arc(r_0125_0010__and,r_0125_0003__was,conj1).
arc(r_0125_0010__and,r_0125_0011__was,conj2).
arc(r_0125_0011__was,r_0125_0012__arrested,scope).
arc(r_0125_0012__arrested,r_0125_0001__Grandpa_r_0125_0002__Kishi,arg1).
arc(r_0125_0012__arrested,r_0125_0014__the_r_0125_0015__Americans,r_0125_0013__by_arg0).
arc(r_0125_0012__arrested,r_0125_0017__a_r_0125_0019__war_r_0125_0020__criminal,r_0125_0016__as__prd).
arc(r_0125_0017__a_r_0125_0019__war_r_0125_0020__criminal,r_0125_0018__suspected,attrib).

fof(formula,axiom,
    ? [R_0125_0001__GRANDPA_R_0125_0002__KISHI,R_0125_0007__THE_R_0125_0008__WARTIME_R_0125_0009__JUNTA,R_0125_0004__A_R_0125_0005__MEMBER,R_0125_0003__WAS,R_0125_0014__THE_R_0125_0015__AMERICANS,R_0125_0018__SUSPECTED,R_0125_0017__A_R_0125_0019__WAR_R_0125_0020__CRIMINAL,R_0125_0011__WAS_R_0125_0012__ARRESTED,R_0125_0010__AND] :
      ( r_0125_0001__Grandpa_r_0125_0002__Kishi(R_0125_0001__GRANDPA_R_0125_0002__KISHI)
      & r_0125_0007__the_r_0125_0008__wartime_r_0125_0009__junta(R_0125_0007__THE_R_0125_0008__WARTIME_R_0125_0009__JUNTA)
      & r_0125_0014__the_r_0125_0015__Americans(R_0125_0014__THE_R_0125_0015__AMERICANS)
      & r_0125_0018__suspected(R_0125_0018__SUSPECTED)
      & r_0125_0010__and(R_0125_0010__AND)
      & has_conj2(R_0125_0010__AND,R_0125_0011__WAS_R_0125_0012__ARRESTED)
      & r_0125_0011__was_r_0125_0012__arrested(R_0125_0011__WAS_R_0125_0012__ARRESTED)
      & has_r_0125_0016__as__prd(R_0125_0011__WAS_R_0125_0012__ARRESTED,R_0125_0017__A_R_0125_0019__WAR_R_0125_0020__CRIMINAL)
      & r_0125_0017__a_r_0125_0019__war_r_0125_0020__criminal(R_0125_0017__A_R_0125_0019__WAR_R_0125_0020__CRIMINAL)
      & has_attrib(R_0125_0017__A_R_0125_0019__WAR_R_0125_0020__CRIMINAL,R_0125_0018__SUSPECTED)
      & has_r_0125_0013__by_arg0(R_0125_0011__WAS_R_0125_0012__ARRESTED,R_0125_0014__THE_R_0125_0015__AMERICANS)
      & has_arg1(R_0125_0011__WAS_R_0125_0012__ARRESTED,R_0125_0001__GRANDPA_R_0125_0002__KISHI)
      & has_conj1(R_0125_0010__AND,R_0125_0003__WAS)
      & r_0125_0003__was(R_0125_0003__WAS)
      & has_prd(R_0125_0003__WAS,R_0125_0004__A_R_0125_0005__MEMBER)
      & r_0125_0004__a_r_0125_0005__member(R_0125_0004__A_R_0125_0005__MEMBER)
      & has_r_0125_0006__of(R_0125_0004__A_R_0125_0005__MEMBER,R_0125_0007__THE_R_0125_0008__WARTIME_R_0125_0009__JUNTA)
      & has_arg0(R_0125_0003__WAS,R_0125_0001__GRANDPA_R_0125_0002__KISHI) ) ).