arc(r_0008_0002__will, r_0008_0003__be, scope).
arc(r_0008_0002__will, r_0008_0021__office, r_0008_0018__according_to_nim52).
arc(r_0008_0003__be, r_0008_0001__Hall, arg0).
arc(r_0008_0003__be, r_0008_0004__only, nim10).
arc(r_0008_0003__be, r_0008_0005__the_r_0008_0006__second_r_0008_0007__member, prd).
arc(r_0008_0005__the_r_0008_0006__second_r_0008_0007__member, r_0008_0009__Congress, r_0008_0008__of).
arc(r_0008_0010__to_r_0008_0011__travel, r_0008_0005__the_r_0008_0006__second_r_0008_0007__member, arg0).
arc(r_0008_0010__to_r_0008_0011__travel, r_0008_0013__Iraq, r_0008_0012__in_clr36).
arc(r_0008_0010__to_r_0008_0011__travel, r_0008_0015__the_r_0008_0016__war, r_0008_0014__since_nim42).
arc(r_0008_0021__office, r_0008_0019__Hall_r_0008_0020___apos_s, gen).

fof(formula,axiom,
    ? [R_0008_0019__HALL_R_0008_0020___APOS_S,R_0008_0021__OFFICE,R_0008_0001__HALL,R_0008_0004__ONLY,R_0008_0009__CONGRESS,R_0008_0005__THE_R_0008_0006__SECOND_R_0008_0007__MEMBER,R_0008_0002__WILL_R_0008_0003__BE,R_0008_0013__IRAQ,R_0008_0015__THE_R_0008_0016__WAR,R_0008_0010__TO_R_0008_0011__TRAVEL] :
      ( r_0008_0001__Hall(R_0008_0001__HALL)
      & r_0008_0004__only(R_0008_0004__ONLY)
      & r_0008_0009__Congress(R_0008_0009__CONGRESS)
      & r_0008_0013__Iraq(R_0008_0013__IRAQ)
      & r_0008_0015__the_r_0008_0016__war(R_0008_0015__THE_R_0008_0016__WAR)
      & r_0008_0019__Hall_r_0008_0020___apos_s(R_0008_0019__HALL_R_0008_0020___APOS_S)
      & r_0008_0010__to_r_0008_0011__travel(R_0008_0010__TO_R_0008_0011__TRAVEL)
      & has_r_0008_0014__since_nim42(R_0008_0010__TO_R_0008_0011__TRAVEL,R_0008_0015__THE_R_0008_0016__WAR)
      & has_r_0008_0012__in_clr36(R_0008_0010__TO_R_0008_0011__TRAVEL,R_0008_0013__IRAQ)
      & has_arg0(R_0008_0010__TO_R_0008_0011__TRAVEL,R_0008_0005__THE_R_0008_0006__SECOND_R_0008_0007__MEMBER)
      & r_0008_0005__the_r_0008_0006__second_r_0008_0007__member(R_0008_0005__THE_R_0008_0006__SECOND_R_0008_0007__MEMBER)
      & has_r_0008_0008__of(R_0008_0005__THE_R_0008_0006__SECOND_R_0008_0007__MEMBER,R_0008_0009__CONGRESS)
      & r_0008_0002__will_r_0008_0003__be(R_0008_0002__WILL_R_0008_0003__BE)
      & has_prd(R_0008_0002__WILL_R_0008_0003__BE,R_0008_0005__THE_R_0008_0006__SECOND_R_0008_0007__MEMBER)
      & has_nim10(R_0008_0002__WILL_R_0008_0003__BE,R_0008_0004__ONLY)
      & has_arg0(R_0008_0002__WILL_R_0008_0003__BE,R_0008_0001__HALL)
      & has_r_0008_0018__according_to_nim52(R_0008_0002__WILL_R_0008_0003__BE,R_0008_0021__OFFICE)
      & r_0008_0021__office(R_0008_0021__OFFICE)
      & has_gen(R_0008_0021__OFFICE,R_0008_0019__HALL_R_0008_0020___APOS_S) ) ).

( (IP-MAT (NP-SBJ;{HALL} (NPR Hall;{Hall}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_Ln_ be;{be})
                      (ADVP-NIM (ADV only;{only}))
                      (NP-PRD (D the;{the})
                              (NUM second;{second})
                              (N member;{member})
                              (PP (P-ROLE of;{of})
                                  (NP (N Congress;{congress})))
                              (IP-INF-REL (NP-SBJ *T*)
                                          (TO to;{to})
                                          (VB;_Ipr_ travel;{travel[in]})
                                          (PP-CLR (P-ROLE in;{in})
                                                  (NP;{IRAQ} (NPR Iraq;{Iraq})))
                                          (PP-NIM (P-ROLE since;{since})
                                                  (NP (D the;{the})
                                                      (N war;{war}))))))
          (PUNC ,)
          (PP-NIM (P-ROLE according_to;{according_to})
                  (NP (NP-GEN;{HALL} (NPR Hall;{Hall})
                                     (GENM <apos>s))
                      (N office;{office})))
          (PUNC .))
  (ID 8_a_nyt20000410))