TSPC 87_a_voice_of

87_a_voice_of_america
Yu Hagino, 23, was arrested at the murder scene, a school in the western city of Uji.

( (IP-MAT (NP-SBJ;{HAGINO} (NPR Yu;{Yu})
                           (NPR Hagino;{Hagino})
                           (PUNC ,)
                           (PRN (NP (NUM 23))))
          (PUNC ,)
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ arrested;{arrest})
                      (PP-NIM (P-ROLE at;{at})
                              (NP (D the;{the})
                                  (N murder;{murder})
                                  (N scene;{scene})
                                  (PUNC ,)
                                  (PRN (NP (D a;{a})
                                           (N school;{school})
                                           (PP (P-ROLE in;{in})
                                               (NP (D the;{the})
                                                   (ADJP (ADJ western;{western}))
                                                   (N city;{city})
                                                   (PP (P-ROLE of;{of})
                                                       (NP (NPR Uji;{Uji}))))))))))
          (PUNC .))
  (ID 87_a_voice_of_america;p00d0402))

arc(r_0087_0006__was,r_0087_0007__arrested,scope).
arc(r_0087_0007__arrested,r_0087_0001__Yu_r_0087_0002__Hagino,arg1).
arc(r_0087_0007__arrested,r_0087_0009__the_r_0087_0010__murder_r_0087_0011__scene,r_0087_0008__at__nim).
arc(r_0087_0007__arrested,z_0087_5011___star_,arg0).
arc(r_0087_0013__a_r_0087_0014__school,r_0087_0016__the_r_0087_0018__city,r_0087_0015__in).
arc(r_0087_0016__the_r_0087_0018__city,r_0087_0017__western,attrib).
arc(r_0087_0016__the_r_0087_0018__city,r_0087_0020__Uji,r_0087_0019__of).
arc(z_0087_5002,r_0087_0001__Yu_r_0087_0002__Hagino,arg0).
arc(z_0087_5002,r_0087_0004__23,prd).
arc(z_0087_5009,r_0087_0009__the_r_0087_0010__murder_r_0087_0011__scene,arg0).
arc(z_0087_5009,r_0087_0013__a_r_0087_0014__school,prd).

fof(formula,axiom,
    ? [R_0087_0001__YU_R_0087_0002__HAGINO,R_0087_0009__THE_R_0087_0010__MURDER_R_0087_0011__SCENE,Z_0087_5011___STAR_,R_0087_0006__WAS_R_0087_0007__ARRESTED,R_0087_0004__23,Z_0087_5002,R_0087_0017__WESTERN,R_0087_0020__UJI,R_0087_0016__THE_R_0087_0018__CITY,R_0087_0013__A_R_0087_0014__SCHOOL,Z_0087_5009] :
      ( r_0087_0001__Yu_r_0087_0002__Hagino(R_0087_0001__YU_R_0087_0002__HAGINO)
      & r_0087_0004__23(R_0087_0004__23)
      & r_0087_0009__the_r_0087_0010__murder_r_0087_0011__scene(R_0087_0009__THE_R_0087_0010__MURDER_R_0087_0011__SCENE)
      & r_0087_0017__western(R_0087_0017__WESTERN)
      & r_0087_0020__Uji(R_0087_0020__UJI)
      & z_0087_5011___star_(Z_0087_5011___STAR_)
      & z_0087_5009(Z_0087_5009)
      & has_prd(Z_0087_5009,R_0087_0013__A_R_0087_0014__SCHOOL)
      & r_0087_0013__a_r_0087_0014__school(R_0087_0013__A_R_0087_0014__SCHOOL)
      & has_r_0087_0015__in(R_0087_0013__A_R_0087_0014__SCHOOL,R_0087_0016__THE_R_0087_0018__CITY)
      & r_0087_0016__the_r_0087_0018__city(R_0087_0016__THE_R_0087_0018__CITY)
      & has_r_0087_0019__of(R_0087_0016__THE_R_0087_0018__CITY,R_0087_0020__UJI)
      & has_attrib(R_0087_0016__THE_R_0087_0018__CITY,R_0087_0017__WESTERN)
      & has_arg0(Z_0087_5009,R_0087_0009__THE_R_0087_0010__MURDER_R_0087_0011__SCENE)
      & z_0087_5002(Z_0087_5002)
      & has_prd(Z_0087_5002,R_0087_0004__23)
      & has_arg0(Z_0087_5002,R_0087_0001__YU_R_0087_0002__HAGINO)
      & r_0087_0006__was_r_0087_0007__arrested(R_0087_0006__WAS_R_0087_0007__ARRESTED)
      & has_arg0(R_0087_0006__WAS_R_0087_0007__ARRESTED,Z_0087_5011___STAR_)
      & has_r_0087_0008__at__nim(R_0087_0006__WAS_R_0087_0007__ARRESTED,R_0087_0009__THE_R_0087_0010__MURDER_R_0087_0011__SCENE)
      & has_arg1(R_0087_0006__WAS_R_0087_0007__ARRESTED,R_0087_0001__YU_R_0087_0002__HAGINO) ) ).