( (IP-MAT (NP-SBJ (ADJP (AJLYR (AJLYR (ADJ Australian;{australian}))
                               (CONJP (CONJ and;{and})
                                      (AJLYR (ADJ French;{french})))))
                  (N news;{news})
                  (NS agencies;{agency}))
          (VBP;_Tf_ say;{say})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (ADVP (ADV at_least;{at_least}))
                                      (NUM one;{one})
                                      (PP (P-ROLE of;{of})
                                          (NP (D the;{the})
                                              (NS men;{man})
                                              (IP-PPL (NP-LGS *)
                                                      (VVN;_Tn_ arrested;{arrest}))))
                                      (PULB -LRB-)
                                      (PRN (NP (NPR Cholily;{Cholily})))
                                      (PURB -RRB-))
                              (BED;_cat_VePASS_ was;{be})
                              (IP-PPL-CAT (NP-LGS *)
                                          (VVN;_Tn_ captured;{capture})
                                          (PP-NIM (P-ROLE during;{during})
                                                  (NP (D a;{a})
                                                      (N series;{series})
                                                      (PP (P-ROLE of;{of})
                                                          (NP (N counter_<hyphen>_terrorism;{counter_terrorism})
                                                              (NS raids;{raid})))))
                                          (NP-NIM (ADJP (ADJ last;{last}))
                                                  (N week;{week}))
                                          (PP-NIM (P-ROLE in;{in})
                                                  (NP (NPR Indonesia;{Indonesia}))))))
          (PUNC .))
  (ID 19_a_voice_of_america;p00d0100))

arc(r_0019_0002__and,r_0019_0001__Australian,conj1).
arc(r_0019_0002__and,r_0019_0003__French,conj2).
arc(r_0019_0004__news_r_0019_0005__agencies,r_0019_0002__and,attrib).
arc(r_0019_0006__say,r_0019_0004__news_r_0019_0005__agencies,arg0).
arc(r_0019_0006__say,r_0019_0016__was,arg1).
arc(r_0019_0008__one,r_0019_0007__at_least,qual).
arc(r_0019_0008__one,r_0019_0010__the_r_0019_0011__men,r_0019_0009__of).
arc(r_0019_0012__arrested,r_0019_0010__the_r_0019_0011__men,inv_arg1).
arc(r_0019_0012__arrested,z_0019_5009___star_,arg0).
arc(r_0019_0016__was,r_0019_0017__captured,scope).
arc(r_0019_0017__captured,r_0019_0008__one,arg1).
arc(r_0019_0017__captured,r_0019_0019__a_r_0019_0020__series,r_0019_0018__during__nim).
arc(r_0019_0017__captured,r_0019_0025__week,nim).
arc(r_0019_0017__captured,r_0019_0027__Indonesia,r_0019_0026__in__nim).
arc(r_0019_0017__captured,z_0019_5018___star_,arg0).
arc(r_0019_0019__a_r_0019_0020__series,r_0019_0022__counter__hyphen__terrorism_r_0019_0023__raids,r_0019_0021__of).
arc(r_0019_0025__week,r_0019_0024__last,attrib).
arc(z_0019_5011,r_0019_0008__one,arg0).
arc(z_0019_5011,r_0019_0014__Cholily,prd).

fof(formula,axiom,
    ? [R_0019_0001__AUSTRALIAN,R_0019_0003__FRENCH,R_0019_0002__AND,R_0019_0004__NEWS_R_0019_0005__AGENCIES,R_0019_0007__AT_LEAST,Z_0019_5009___STAR_,R_0019_0012__ARRESTED,R_0019_0010__THE_R_0019_0011__MEN,R_0019_0008__ONE,R_0019_0022__COUNTER__HYPHEN__TERRORISM_R_0019_0023__RAIDS,R_0019_0019__A_R_0019_0020__SERIES,R_0019_0024__LAST,R_0019_0025__WEEK,R_0019_0027__INDONESIA,Z_0019_5018___STAR_,R_0019_0016__WAS_R_0019_0017__CAPTURED,R_0019_0006__SAY,R_0019_0014__CHOLILY,Z_0019_5011] :
      ( r_0019_0001__Australian(R_0019_0001__AUSTRALIAN)
      & r_0019_0003__French(R_0019_0003__FRENCH)
      & r_0019_0007__at_least(R_0019_0007__AT_LEAST)
      & r_0019_0014__Cholily(R_0019_0014__CHOLILY)
      & r_0019_0022__counter__hyphen__terrorism_r_0019_0023__raids(R_0019_0022__COUNTER__HYPHEN__TERRORISM_R_0019_0023__RAIDS)
      & r_0019_0024__last(R_0019_0024__LAST)
      & r_0019_0027__Indonesia(R_0019_0027__INDONESIA)
      & z_0019_5009___star_(Z_0019_5009___STAR_)
      & z_0019_5018___star_(Z_0019_5018___STAR_)
      & z_0019_5011(Z_0019_5011)
      & has_prd(Z_0019_5011,R_0019_0014__CHOLILY)
      & has_arg0(Z_0019_5011,R_0019_0008__ONE)
      & r_0019_0008__one(R_0019_0008__ONE)
      & has_r_0019_0009__of(R_0019_0008__ONE,R_0019_0010__THE_R_0019_0011__MEN)
      & r_0019_0010__the_r_0019_0011__men(R_0019_0010__THE_R_0019_0011__MEN)
      & has_inv_arg1(R_0019_0010__THE_R_0019_0011__MEN,R_0019_0012__ARRESTED)
      & r_0019_0012__arrested(R_0019_0012__ARRESTED)
      & has_arg0(R_0019_0012__ARRESTED,Z_0019_5009___STAR_)
      & has_qual(R_0019_0008__ONE,R_0019_0007__AT_LEAST)
      & r_0019_0006__say(R_0019_0006__SAY)
      & has_arg1(R_0019_0006__SAY,R_0019_0016__WAS_R_0019_0017__CAPTURED)
      & r_0019_0016__was_r_0019_0017__captured(R_0019_0016__WAS_R_0019_0017__CAPTURED)
      & has_arg0(R_0019_0016__WAS_R_0019_0017__CAPTURED,Z_0019_5018___STAR_)
      & has_r_0019_0026__in__nim(R_0019_0016__WAS_R_0019_0017__CAPTURED,R_0019_0027__INDONESIA)
      & has_nim(R_0019_0016__WAS_R_0019_0017__CAPTURED,R_0019_0025__WEEK)
      & r_0019_0025__week(R_0019_0025__WEEK)
      & has_attrib(R_0019_0025__WEEK,R_0019_0024__LAST)
      & has_r_0019_0018__during__nim(R_0019_0016__WAS_R_0019_0017__CAPTURED,R_0019_0019__A_R_0019_0020__SERIES)
      & r_0019_0019__a_r_0019_0020__series(R_0019_0019__A_R_0019_0020__SERIES)
      & has_r_0019_0021__of(R_0019_0019__A_R_0019_0020__SERIES,R_0019_0022__COUNTER__HYPHEN__TERRORISM_R_0019_0023__RAIDS)
      & has_arg1(R_0019_0016__WAS_R_0019_0017__CAPTURED,R_0019_0008__ONE)
      & has_arg0(R_0019_0006__SAY,R_0019_0004__NEWS_R_0019_0005__AGENCIES)
      & r_0019_0004__news_r_0019_0005__agencies(R_0019_0004__NEWS_R_0019_0005__AGENCIES)
      & has_attrib(R_0019_0004__NEWS_R_0019_0005__AGENCIES,R_0019_0002__AND)
      & r_0019_0002__and(R_0019_0002__AND)
      & has_conj2(R_0019_0002__AND,R_0019_0003__FRENCH)
      & has_conj1(R_0019_0002__AND,R_0019_0001__AUSTRALIAN) ) ).