TSPC 113_a_voice_of

113_a_voice_of_america
Statements Wednesday say the suspects were detained in separate operations north of Baghdad in Kirkuk province, and in the towns of Tarmiyah and Judaidah.

( (IP-MAT (NP-SBJ (NS Statements;{statement}))
          (NP-NIM (NPR Wednesday;{Wednesday}))
          (VBP;_Tf_ say;{say})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (D the;{the})
                                      (NS suspects;{suspect}))
                              (BED;_cat_VePASS_ were;{be})
                              (IP-PPL-CAT (NP-LGS *)
                                          (VVN;_Tn_ detained;{detain})
                                          (PP-NIM (P-ROLE in;{in})
                                                  (NP (ADJP (ADJ separate;{separate}))
                                                      (NS operations;{operation})))
                                          (ADVP-NIM (ADV north;{north})
                                                    (PP (P-ROLE of;{of})
                                                        (NP (NPR Baghdad;{Baghdad})))
                                                    (PP (PP (P-ROLE in;{in})
                                                            (NP (ADJP (ADJ Kirkuk;{kirkuk}))
                                                                (N province;{province})))
                                                        (PUNC ,)
                                                        (CONJP (CONJ and;{and})
                                                               (PP (P-ROLE in;{in})
                                                                   (NP (D the;{the})
                                                                       (NS towns;{town})
                                                                       (PP (P-ROLE of;{of})
                                                                           (NP (NLYR (NLYR (NPR Tarmiyah;{Tarmiyah}))
                                                                                     (CONJP (CONJ and;{and})
                                                                                            (NLYR (NPR Judaidah;{Judaidah}))))))))))))))
          (PUNC .))
  (ID 113_a_voice_of_america;p00d0630))

arc(r_0113_0003__say,r_0113_0001__Statements,arg0).
arc(r_0113_0003__say,r_0113_0002__Wednesday,nim).
arc(r_0113_0003__say,r_0113_0006__were,arg1).
arc(r_0113_0006__were,r_0113_0007__detained,scope).
arc(r_0113_0007__detained,r_0113_0004__the_r_0113_0005__suspects,arg1).
arc(r_0113_0007__detained,r_0113_0010__operations,r_0113_0008__in__nim).
arc(r_0113_0007__detained,r_0113_0011__north,nim).
arc(r_0113_0007__detained,z_0113_5015___star_,arg0).
arc(r_0113_0010__operations,r_0113_0009__separate,attrib).
arc(r_0113_0011__north,r_0113_0013__Baghdad,r_0113_0012__of).
arc(r_0113_0011__north,r_0113_0018__and,z_0113_5007).
arc(r_0113_0016__province,r_0113_0015__Kirkuk,attrib).
arc(r_0113_0018__and,r_0113_0016__province,r_0113_0014__in).
arc(r_0113_0018__and,r_0113_0020__the_r_0113_0021__towns,r_0113_0019__in).
arc(r_0113_0020__the_r_0113_0021__towns,r_0113_0024__and,r_0113_0022__of).
arc(r_0113_0024__and,r_0113_0023__Tarmiyah,conj1).
arc(r_0113_0024__and,r_0113_0025__Judaidah,conj2).

fof(formula,axiom,
    ? [R_0113_0001__STATEMENTS,R_0113_0002__WEDNESDAY,R_0113_0004__THE_R_0113_0005__SUSPECTS,R_0113_0009__SEPARATE,R_0113_0010__OPERATIONS,R_0113_0013__BAGHDAD,R_0113_0015__KIRKUK,R_0113_0016__PROVINCE,R_0113_0023__TARMIYAH,R_0113_0025__JUDAIDAH,R_0113_0024__AND,R_0113_0020__THE_R_0113_0021__TOWNS,R_0113_0018__AND,R_0113_0011__NORTH,Z_0113_5015___STAR_,R_0113_0006__WERE_R_0113_0007__DETAINED,R_0113_0003__SAY] :
      ( r_0113_0001__Statements(R_0113_0001__STATEMENTS)
      & r_0113_0002__Wednesday(R_0113_0002__WEDNESDAY)
      & r_0113_0004__the_r_0113_0005__suspects(R_0113_0004__THE_R_0113_0005__SUSPECTS)
      & r_0113_0009__separate(R_0113_0009__SEPARATE)
      & r_0113_0013__Baghdad(R_0113_0013__BAGHDAD)
      & r_0113_0015__Kirkuk(R_0113_0015__KIRKUK)
      & r_0113_0023__Tarmiyah(R_0113_0023__TARMIYAH)
      & r_0113_0025__Judaidah(R_0113_0025__JUDAIDAH)
      & z_0113_5015___star_(Z_0113_5015___STAR_)
      & r_0113_0003__say(R_0113_0003__SAY)
      & has_arg1(R_0113_0003__SAY,R_0113_0006__WERE_R_0113_0007__DETAINED)
      & r_0113_0006__were_r_0113_0007__detained(R_0113_0006__WERE_R_0113_0007__DETAINED)
      & has_arg0(R_0113_0006__WERE_R_0113_0007__DETAINED,Z_0113_5015___STAR_)
      & has_nim(R_0113_0006__WERE_R_0113_0007__DETAINED,R_0113_0011__NORTH)
      & r_0113_0011__north(R_0113_0011__NORTH)
      & has_z_0113_5007(R_0113_0011__NORTH,R_0113_0018__AND)
      & r_0113_0018__and(R_0113_0018__AND)
      & has_r_0113_0019__in(R_0113_0018__AND,R_0113_0020__THE_R_0113_0021__TOWNS)
      & r_0113_0020__the_r_0113_0021__towns(R_0113_0020__THE_R_0113_0021__TOWNS)
      & has_r_0113_0022__of(R_0113_0020__THE_R_0113_0021__TOWNS,R_0113_0024__AND)
      & r_0113_0024__and(R_0113_0024__AND)
      & has_conj2(R_0113_0024__AND,R_0113_0025__JUDAIDAH)
      & has_conj1(R_0113_0024__AND,R_0113_0023__TARMIYAH)
      & has_r_0113_0014__in(R_0113_0018__AND,R_0113_0016__PROVINCE)
      & r_0113_0016__province(R_0113_0016__PROVINCE)
      & has_attrib(R_0113_0016__PROVINCE,R_0113_0015__KIRKUK)
      & has_r_0113_0012__of(R_0113_0011__NORTH,R_0113_0013__BAGHDAD)
      & has_r_0113_0008__in__nim(R_0113_0006__WERE_R_0113_0007__DETAINED,R_0113_0010__OPERATIONS)
      & r_0113_0010__operations(R_0113_0010__OPERATIONS)
      & has_attrib(R_0113_0010__OPERATIONS,R_0113_0009__SEPARATE)
      & has_arg1(R_0113_0006__WERE_R_0113_0007__DETAINED,R_0113_0004__THE_R_0113_0005__SUSPECTS)
      & has_nim(R_0113_0003__SAY,R_0113_0002__WEDNESDAY)
      & has_arg0(R_0113_0003__SAY,R_0113_0001__STATEMENTS) ) ).