TSPC 20_a_voice_of

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

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_nim12).
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, arg1).
arc(r_0020_0008__alleged, z_000_20_a_voice_of_america_24, arg0).
arc(r_0020_0010__bombmaker, r_0020_0009__extremist, attrib28).
arc(z_000_20_a_voice_of_america_21, r_0020_0010__bombmaker, prd).
arc(z_000_20_a_voice_of_america_21, 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,R_0020_0009__EXTREMIST,R_0020_0010__BOMBMAKER,Z_000_20_A_VOICE_OF_AMERICA_24,R_0020_0008__ALLEGED,Z_000_20_A_VOICE_OF_AMERICA_21] :
      ( 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_000_20_a_voice_of_america_24(Z_000_20_A_VOICE_OF_AMERICA_24)
      & z_000_20_a_voice_of_america_21(Z_000_20_A_VOICE_OF_AMERICA_21)
      & has_arg0(Z_000_20_A_VOICE_OF_AMERICA_21,R_0020_0011__AZAHARI_R_0020_0012__BIN_R_0020_0013__HUSIN)
      & has_prd(Z_000_20_A_VOICE_OF_AMERICA_21,R_0020_0010__BOMBMAKER)
      & r_0020_0010__bombmaker(R_0020_0010__BOMBMAKER)
      & has_attrib28(R_0020_0010__BOMBMAKER,R_0020_0009__EXTREMIST)
      & r_0020_0008__alleged(R_0020_0008__ALLEGED)
      & has_arg0(R_0020_0008__ALLEGED,Z_000_20_A_VOICE_OF_AMERICA_24)
      & has_arg1(R_0020_0008__ALLEGED,R_0020_0010__BOMBMAKER)
      & r_0020_0003__ended(R_0020_0003__ENDED)
      & has_r_0020_0004__with_nim12(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) ) ).

( (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 (IP-PPL (NP-PRD (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))