( (IP-MAT (NP-SBJ (NS Officials;{official}))
          (VBP;_Tf_ say;{say})
          (CP-THT-OB1 (IP-SUB (PULQ <ldquo>)
                              (NP-SBJ (NPR Operation;{Operation})
                                      (NPR Medusa;{Medusa}))
                              (PURQ <rdquo>)
                              (BEP;_cat_VePASS_ is;{be})
                              (IP-PPL-CAT (NP-LGS *)
                                          (VVN;_Ipr_ aimed;{aim[at]})
                                          (PP-CLR (P-ROLE at;{at})
                                                  (IP-PPL (VAG;_Tn_ removing;{remove})
                                                          (NP-OB1 (D the;{the})
                                                                  (ADJP (ADJ Taleban;{Taleban}))
                                                                  (N threat;{threat})))))
                              (PP-SCON (P-CONN so_that;{so_that})
                                       (IP-ADV (NP-SBJ (NLYR (NLYR (N stability;{stability}))
                                                             (PUNC ,)
                                                             (CONJP (NLYR (N reconstruction;{reconstruction})))
                                                             (CONJP (CONJ and;{and})
                                                                    (NLYR (N development;{development})))))
                                               (MD;_cat_Vi_ can;{can})
                                               (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                           (IP-PPL-CAT (NP-LGS *)
                                                                       (VVN;_Tn_ achieved;{achieve})
                                                                       (PP-NIM (P-ROLE in;{in})
                                                                               (NP (D the;{the})
                                                                                   (N area;{area})))))))))
          (PUNC .))
  (ID 47_a_voice_of_america;p00d0255))

arc(r_0047_0002__say,r_0047_0001__Officials,arg0).
arc(r_0047_0002__say,r_0047_0014__so_that,arg1).
arc(r_0047_0007__is,r_0047_0008__aimed,scope).
arc(r_0047_0008__aimed,r_0047_0004__Operation_r_0047_0005__Medusa,arg1).
arc(r_0047_0008__aimed,r_0047_0010__removing,r_0047_0009__at__clr).
arc(r_0047_0008__aimed,z_0047_5020___star_,arg0).
arc(r_0047_0010__removing,r_0047_0004__Operation_r_0047_0005__Medusa,arg0).
arc(r_0047_0010__removing,r_0047_0011__the_r_0047_0013__threat,arg1).
arc(r_0047_0011__the_r_0047_0013__threat,r_0047_0012__Taleban,attrib).
arc(r_0047_0014__so_that,r_0047_0007__is,scope).
arc(r_0047_0014__so_that,r_0047_0020__can,restriction).
arc(r_0047_0018__and,r_0047_0015__stability,conj1).
arc(r_0047_0018__and,r_0047_0017__reconstruction,conj2).
arc(r_0047_0018__and,r_0047_0019__development,conj3).
arc(r_0047_0020__can,r_0047_0021__be,scope).
arc(r_0047_0021__be,r_0047_0022__achieved,scope).
arc(r_0047_0022__achieved,r_0047_0018__and,arg1).
arc(r_0047_0022__achieved,r_0047_0024__the_r_0047_0025__area,r_0047_0023__in__nim).
arc(r_0047_0022__achieved,z_0047_5011___star_,arg0).

fof(formula,axiom,
    ? [R_0047_0001__OFFICIALS,R_0047_0004__OPERATION_R_0047_0005__MEDUSA,R_0047_0012__TALEBAN,R_0047_0011__THE_R_0047_0013__THREAT,R_0047_0010__REMOVING,Z_0047_5020___STAR_,R_0047_0007__IS_R_0047_0008__AIMED,R_0047_0015__STABILITY,R_0047_0017__RECONSTRUCTION,R_0047_0019__DEVELOPMENT,R_0047_0018__AND,R_0047_0024__THE_R_0047_0025__AREA,Z_0047_5011___STAR_,R_0047_0020__CAN_R_0047_0021__BE_R_0047_0022__ACHIEVED,R_0047_0014__SO_THAT,R_0047_0002__SAY] :
      ( r_0047_0001__Officials(R_0047_0001__OFFICIALS)
      & r_0047_0004__Operation_r_0047_0005__Medusa(R_0047_0004__OPERATION_R_0047_0005__MEDUSA)
      & r_0047_0012__Taleban(R_0047_0012__TALEBAN)
      & r_0047_0015__stability(R_0047_0015__STABILITY)
      & r_0047_0017__reconstruction(R_0047_0017__RECONSTRUCTION)
      & r_0047_0019__development(R_0047_0019__DEVELOPMENT)
      & r_0047_0024__the_r_0047_0025__area(R_0047_0024__THE_R_0047_0025__AREA)
      & z_0047_5011___star_(Z_0047_5011___STAR_)
      & z_0047_5020___star_(Z_0047_5020___STAR_)
      & r_0047_0002__say(R_0047_0002__SAY)
      & has_arg1(R_0047_0002__SAY,R_0047_0014__SO_THAT)
      & r_0047_0014__so_that(R_0047_0014__SO_THAT)
      & has_conj1(R_0047_0014__SO_THAT,R_0047_0020__CAN_R_0047_0021__BE_R_0047_0022__ACHIEVED)
      & r_0047_0020__can_r_0047_0021__be_r_0047_0022__achieved(R_0047_0020__CAN_R_0047_0021__BE_R_0047_0022__ACHIEVED)
      & has_arg0(R_0047_0020__CAN_R_0047_0021__BE_R_0047_0022__ACHIEVED,Z_0047_5011___STAR_)
      & has_r_0047_0023__in__nim(R_0047_0020__CAN_R_0047_0021__BE_R_0047_0022__ACHIEVED,R_0047_0024__THE_R_0047_0025__AREA)
      & has_arg1(R_0047_0020__CAN_R_0047_0021__BE_R_0047_0022__ACHIEVED,R_0047_0018__AND)
      & r_0047_0018__and(R_0047_0018__AND)
      & has_conj3(R_0047_0018__AND,R_0047_0019__DEVELOPMENT)
      & has_conj2(R_0047_0018__AND,R_0047_0017__RECONSTRUCTION)
      & has_conj1(R_0047_0018__AND,R_0047_0015__STABILITY)
      & has_conj2(R_0047_0014__SO_THAT,R_0047_0007__IS_R_0047_0008__AIMED)
      & r_0047_0007__is_r_0047_0008__aimed(R_0047_0007__IS_R_0047_0008__AIMED)
      & has_arg0(R_0047_0007__IS_R_0047_0008__AIMED,Z_0047_5020___STAR_)
      & has_r_0047_0009__at__clr(R_0047_0007__IS_R_0047_0008__AIMED,R_0047_0010__REMOVING)
      & r_0047_0010__removing(R_0047_0010__REMOVING)
      & has_arg1(R_0047_0010__REMOVING,R_0047_0011__THE_R_0047_0013__THREAT)
      & r_0047_0011__the_r_0047_0013__threat(R_0047_0011__THE_R_0047_0013__THREAT)
      & has_attrib(R_0047_0011__THE_R_0047_0013__THREAT,R_0047_0012__TALEBAN)
      & has_arg0(R_0047_0010__REMOVING,R_0047_0004__OPERATION_R_0047_0005__MEDUSA)
      & has_arg1(R_0047_0007__IS_R_0047_0008__AIMED,R_0047_0004__OPERATION_R_0047_0005__MEDUSA)
      & has_arg0(R_0047_0002__SAY,R_0047_0001__OFFICIALS) ) ).