( (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))

arc(r_0008_0002__will,r_0008_0003__be,scope).
arc(r_0008_0002__will,r_0008_0021__office,r_0008_0018__according_to__nim).
arc(r_0008_0003__be,r_0008_0001__Hall,arg0).
arc(r_0008_0003__be,r_0008_0004__only,nim).
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_0011__travel_r_0008_0012__in,r_0008_0005__the_r_0008_0006__second_r_0008_0007__member,inv_arg0).
arc(r_0008_0011__travel_r_0008_0012__in,r_0008_0013__Iraq,arg1).
arc(r_0008_0011__travel_r_0008_0012__in,r_0008_0015__the_r_0008_0016__war,r_0008_0014__since__nim).
arc(r_0008_0021__office,r_0008_0001__Hall,gen).

fof(formula,axiom,
    ? [R_0008_0001__HALL,R_0008_0021__OFFICE,R_0008_0004__ONLY,R_0008_0009__CONGRESS,R_0008_0013__IRAQ,R_0008_0015__THE_R_0008_0016__WAR,R_0008_0011__TRAVEL_R_0008_0012__IN,R_0008_0005__THE_R_0008_0006__SECOND_R_0008_0007__MEMBER,R_0008_0002__WILL_R_0008_0003__BE] :
      ( 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_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)
      & 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_inv_arg0(R_0008_0005__THE_R_0008_0006__SECOND_R_0008_0007__MEMBER,R_0008_0011__TRAVEL_R_0008_0012__IN)
      & r_0008_0011__travel_r_0008_0012__in(R_0008_0011__TRAVEL_R_0008_0012__IN)
      & has_r_0008_0014__since__nim(R_0008_0011__TRAVEL_R_0008_0012__IN,R_0008_0015__THE_R_0008_0016__WAR)
      & has_arg1(R_0008_0011__TRAVEL_R_0008_0012__IN,R_0008_0013__IRAQ)
      & has_r_0008_0008__of(R_0008_0005__THE_R_0008_0006__SECOND_R_0008_0007__MEMBER,R_0008_0009__CONGRESS)
      & has_nim(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__nim(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_0001__HALL) ) ).