arc(r_0006_0003__say, r_0006_0001__The_r_0006_0002__officials, arg0).
arc(r_0006_0003__say, r_0006_0016__when, arg1).
arc(r_0006_0006__leader, r_0006_0004__prominent, attrib14).
arc(r_0006_0006__leader, r_0006_0005__tribal, attrib17).
arc(r_0006_0010__was, r_0006_0011__traveling, scope).
arc(r_0006_0011__traveling, r_0006_0007__Malik_r_0006_0008__Faridullah_r_0006_0009__Khan, arg0).
arc(r_0006_0011__traveling, r_0006_0013__South_r_0006_0014__Waziristan, r_0006_0012__in_clr36).
arc(r_0006_0011__traveling, r_0006_0015__Sunday, nim41).
arc(r_0006_0016__when, r_0006_0010__was, scope).
arc(r_0006_0016__when, r_0006_0019__was, restriction).
arc(r_0006_0018__vehicle, r_0006_0007__Malik_r_0006_0008__Faridullah_r_0006_0009__Khan, gen).
arc(r_0006_0019__was, r_0006_0020__ambushed, scope).
arc(r_0006_0020__ambushed, r_0006_0018__vehicle, arg1).
arc(r_0006_0020__ambushed, r_0006_0022__the_r_0006_0023__Kani_r_0006_0024__Wam_r_0006_0025__area, r_0006_0021__in_nim64).
arc(r_0006_0020__ambushed, z_000_6_a_voice_of_america_57, arg0).
arc(z_000_6_a_voice_of_america_12, r_0006_0006__leader, prd).
arc(z_000_6_a_voice_of_america_12, r_0006_0007__Malik_r_0006_0008__Faridullah_r_0006_0009__Khan, arg0).

fof(formula,axiom,
    ? [R_0006_0001__THE_R_0006_0002__OFFICIALS,R_0006_0003__SAY,R_0006_0004__PROMINENT,R_0006_0005__TRIBAL,R_0006_0006__LEADER,R_0006_0007__MALIK_R_0006_0008__FARIDULLAH_R_0006_0009__KHAN,Z_000_6_A_VOICE_OF_AMERICA_12] :
      ( r_0006_0001__The_r_0006_0002__officials(R_0006_0001__THE_R_0006_0002__OFFICIALS)
      & r_0006_0004__prominent(R_0006_0004__PROMINENT)
      & r_0006_0005__tribal(R_0006_0005__TRIBAL)
      & r_0006_0007__Malik_r_0006_0008__Faridullah_r_0006_0009__Khan(R_0006_0007__MALIK_R_0006_0008__FARIDULLAH_R_0006_0009__KHAN)
      & z_000_6_a_voice_of_america_12(Z_000_6_A_VOICE_OF_AMERICA_12)
      & has_arg0(Z_000_6_A_VOICE_OF_AMERICA_12,R_0006_0007__MALIK_R_0006_0008__FARIDULLAH_R_0006_0009__KHAN)
      & has_prd(Z_000_6_A_VOICE_OF_AMERICA_12,R_0006_0006__LEADER)
      & r_0006_0006__leader(R_0006_0006__LEADER)
      & has_attrib17(R_0006_0006__LEADER,R_0006_0005__TRIBAL)
      & has_attrib14(R_0006_0006__LEADER,R_0006_0004__PROMINENT)
      & r_0006_0003__say(R_0006_0003__SAY)
      & ! [R_0006_0019__WAS_R_0006_0020__AMBUSHED,R_0006_0018__VEHICLE,R_0006_0022__THE_R_0006_0023__KANI_R_0006_0024__WAM_R_0006_0025__AREA,Z_000_6_A_VOICE_OF_AMERICA_57] :
          ( ( r_0006_0022__the_r_0006_0023__Kani_r_0006_0024__Wam_r_0006_0025__area(R_0006_0022__THE_R_0006_0023__KANI_R_0006_0024__WAM_R_0006_0025__AREA)
            & z_000_6_a_voice_of_america_57(Z_000_6_A_VOICE_OF_AMERICA_57)
            & r_0006_0019__was_r_0006_0020__ambushed(R_0006_0019__WAS_R_0006_0020__AMBUSHED)
            & has_arg0(R_0006_0019__WAS_R_0006_0020__AMBUSHED,Z_000_6_A_VOICE_OF_AMERICA_57)
            & has_r_0006_0021__in_nim64(R_0006_0019__WAS_R_0006_0020__AMBUSHED,R_0006_0022__THE_R_0006_0023__KANI_R_0006_0024__WAM_R_0006_0025__AREA)
            & has_arg1(R_0006_0019__WAS_R_0006_0020__AMBUSHED,R_0006_0018__VEHICLE)
            & r_0006_0018__vehicle(R_0006_0018__VEHICLE)
            & has_gen(R_0006_0018__VEHICLE,R_0006_0007__MALIK_R_0006_0008__FARIDULLAH_R_0006_0009__KHAN) )
         => ? [R_0006_0013__SOUTH_R_0006_0014__WAZIRISTAN,R_0006_0015__SUNDAY,R_0006_0010__WAS_R_0006_0011__TRAVELING] :
              ( r_0006_0013__South_r_0006_0014__Waziristan(R_0006_0013__SOUTH_R_0006_0014__WAZIRISTAN)
              & r_0006_0015__Sunday(R_0006_0015__SUNDAY)
              & r_0006_0010__was_r_0006_0011__traveling(R_0006_0010__WAS_R_0006_0011__TRAVELING)
              & has_nim41(R_0006_0010__WAS_R_0006_0011__TRAVELING,R_0006_0015__SUNDAY)
              & has_r_0006_0012__in_clr36(R_0006_0010__WAS_R_0006_0011__TRAVELING,R_0006_0013__SOUTH_R_0006_0014__WAZIRISTAN)
              & has_arg0(R_0006_0010__WAS_R_0006_0011__TRAVELING,R_0006_0007__MALIK_R_0006_0008__FARIDULLAH_R_0006_0009__KHAN) ) )
      & has_arg0(R_0006_0003__SAY,R_0006_0001__THE_R_0006_0002__OFFICIALS) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (NS officials;{official}))
          (VBP;_Tn_ say;{say})
          (CP-THT-OB1 (IP-SUB (NP-SBJ;{KHAN} (IP-PPL (NP-PRD (ADJP (ADJ prominent;{prominent}))
                                                             (ADJP (ADJ tribal;{tribal}))
                                                             (N leader;{leader})))
                                             (NPR Malik;{Malik})
                                             (NPR Faridullah;{Faridullah})
                                             (NPR Khan;{Khan}))
                              (BED;_cat_Vg_ was;{be})
                              (IP-PPL-CAT (VAG;_Ipr_ traveling;{travel[in]})
                                          (PP-CLR (P-ROLE in;{in})
                                                  (NP;{SOUTH_WAZIRISTAN} (NPR South;{South})
                                                                         (NPR Waziristan;{Waziristan})))
                                          (NP-NIM (NPR Sunday;{Sunday})))
                              (PP-SCON (P-CONN when;{when})
                                       (IP-ADV (NP-SBJ (NP-GEN;{KHAN} (PRO;_genm_ his;{his}))
                                                       (N vehicle;{vehicle}))
                                               (BED;_cat_VePASS_ was;{be})
                                               (IP-PPL-CAT (NP-LGS *)
                                                           (VVN;_Tn_ ambushed;{ambush})
                                                           (PP-NIM (P-ROLE in;{in})
                                                                   (NP (D the;{the})
                                                                       (NPR Kani;{Kani})
                                                                       (NPR Wam;{Wam})
                                                                       (N area;{area}))))))))
          (PUNC .))
  (ID 6_a_voice_of_america;p00d0060))