TSPC 20_a_voice_of

20_a_voice_of_america
The raids ended with the death of alleged extremist bombmaker Azahari bin Husin.

( (IP-MAT (NP-SBJ (D The;{the})
                  (NS raids;{raid}))
          (VBD;_I_ ended;{end})
          (PP-NIM (P-ROLE with;{with})
                  (NP (D the;{the})
                      (N death;{death})
                      (PP (P-ROLE of;{of})
                          (NP (PRN (NP (IP-PPL (NP-LGS *)
                                               (VVN;_Tn_ alleged;{allege}))
                                       (ADJP (ADJ extremist;{extremist}))
                                       (N bombmaker;{bombmaker})))
                              (NPR Azahari;{Azahari})
                              (NPR bin;{bin})
                              (NPR Husin;{Husin})))))
          (PUNC .))
  (ID 20_a_voice_of_america;p00d0100))

arc(r_0020_0003__ended,r_0020_0001__The_r_0020_0002__raids,arg0).
arc(r_0020_0003__ended,r_0020_0005__the_r_0020_0006__death,r_0020_0004__with__nim).
arc(r_0020_0005__the_r_0020_0006__death,r_0020_0011__Azahari_r_0020_0012__bin_r_0020_0013__Husin,r_0020_0007__of).
arc(r_0020_0008__alleged,r_0020_0010__bombmaker,inv_arg1).
arc(r_0020_0008__alleged,z_0020_5004___star_,arg0).
arc(r_0020_0010__bombmaker,r_0020_0009__extremist,attrib).
arc(z_0020_5007,r_0020_0010__bombmaker,prd).
arc(z_0020_5007,r_0020_0011__Azahari_r_0020_0012__bin_r_0020_0013__Husin,arg0).

fof(formula,axiom,
    ? [R_0020_0001__THE_R_0020_0002__RAIDS,R_0020_0011__AZAHARI_R_0020_0012__BIN_R_0020_0013__HUSIN,R_0020_0005__THE_R_0020_0006__DEATH,R_0020_0003__ENDED,Z_0020_5004___STAR_,R_0020_0008__ALLEGED,R_0020_0009__EXTREMIST,R_0020_0010__BOMBMAKER,Z_0020_5007] :
      ( r_0020_0001__The_r_0020_0002__raids(R_0020_0001__THE_R_0020_0002__RAIDS)
      & r_0020_0009__extremist(R_0020_0009__EXTREMIST)
      & r_0020_0011__Azahari_r_0020_0012__bin_r_0020_0013__Husin(R_0020_0011__AZAHARI_R_0020_0012__BIN_R_0020_0013__HUSIN)
      & z_0020_5004___star_(Z_0020_5004___STAR_)
      & z_0020_5007(Z_0020_5007)
      & has_arg0(Z_0020_5007,R_0020_0011__AZAHARI_R_0020_0012__BIN_R_0020_0013__HUSIN)
      & has_prd(Z_0020_5007,R_0020_0010__BOMBMAKER)
      & r_0020_0010__bombmaker(R_0020_0010__BOMBMAKER)
      & has_attrib(R_0020_0010__BOMBMAKER,R_0020_0009__EXTREMIST)
      & has_inv_arg1(R_0020_0010__BOMBMAKER,R_0020_0008__ALLEGED)
      & r_0020_0008__alleged(R_0020_0008__ALLEGED)
      & has_arg0(R_0020_0008__ALLEGED,Z_0020_5004___STAR_)
      & r_0020_0003__ended(R_0020_0003__ENDED)
      & has_r_0020_0004__with__nim(R_0020_0003__ENDED,R_0020_0005__THE_R_0020_0006__DEATH)
      & r_0020_0005__the_r_0020_0006__death(R_0020_0005__THE_R_0020_0006__DEATH)
      & has_r_0020_0007__of(R_0020_0005__THE_R_0020_0006__DEATH,R_0020_0011__AZAHARI_R_0020_0012__BIN_R_0020_0013__HUSIN)
      & has_arg0(R_0020_0003__ENDED,R_0020_0001__THE_R_0020_0002__RAIDS) ) ).