( (IP-MAT (NP-SBJ (D The;{the})
                  (NPR Senate;{Senate})
                  (N banking;{banking})
                  (N committee;{committee})
                  (PUNC ,)
                  (IP-REL (NP-SBJ (RPRO which;{which}))
                          (BEP;_cat_VePASS_ is;{be})
                          (IP-PPL-CAT (VVN;_Tn_ headed;{head})
                                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                                              (NP (D another;{another})
                                                  (ADJP (ADJ southern;{southern}))
                                                  (N Senator;{senator})
                                                  (PUNC <mdash>)
                                                  (PRN (NP (NPR Willis;{Willis})
                                                           (NPR Robertson;{Robertson})
                                                           (PUNC ,)
                                                           (PP (P-ROLE of;{of})
                                                               (NP (NPR Virginia;{Virginia})))))
                                                  (PUNC <mdash>))))))
          (VBD;_I_ met;{meet})
          (ADVP-NIM (ADV today;{today}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (ADJP (ADJ closed;{closed}))
                      (N session;{session})))
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_Tn_ discuss;{discuss})
                           (NP-OB1 (NP-GEN (NPR Weaver;{Weaver})
                                           (GENM <apos>s))
                                   (N appointment;{appointment}))))
          (PUNC .))
  (ID 50_a_lob_a01))

arc(r_0050_0007__is,r_0050_0008__headed,scope).
arc(r_0050_0008__headed,r_0050_0001__The_r_0050_0002__Senate_r_0050_0003__banking_r_0050_0004__committee,arg1).
arc(r_0050_0008__headed,r_0050_0010__another_r_0050_0012__Senator,r_0050_0009__by_arg0).
arc(r_0050_0010__another_r_0050_0012__Senator,r_0050_0011__southern,attrib).
arc(r_0050_0014__Willis_r_0050_0015__Robertson,r_0050_0018__Virginia,r_0050_0017__of).
arc(r_0050_0020__met,r_0050_0001__The_r_0050_0002__Senate_r_0050_0003__banking_r_0050_0004__committee,arg0).
arc(r_0050_0020__met,r_0050_0021__today,nim).
arc(r_0050_0020__met,r_0050_0024__session,r_0050_0022__in__nim).
arc(r_0050_0024__session,r_0050_0023__closed,attrib).
arc(r_0050_0026__discuss,r_0050_0001__The_r_0050_0002__Senate_r_0050_0003__banking_r_0050_0004__committee,arg0).
arc(r_0050_0026__discuss,r_0050_0029__appointment,arg1).
arc(r_0050_0029__appointment,r_0050_0027__Weaver,gen).
arc(z_0050_5005,r_0050_0010__another_r_0050_0012__Senator,arg0).
arc(z_0050_5005,r_0050_0014__Willis_r_0050_0015__Robertson,prd).
arc(z_0050_5009,r_0050_0020__met,scope).
arc(z_0050_5009,r_0050_0026__discuss,restriction).

fof(formula,axiom,
    ? [R_0050_0001__THE_R_0050_0002__SENATE_R_0050_0003__BANKING_R_0050_0004__COMMITTEE,R_0050_0011__SOUTHERN,R_0050_0010__ANOTHER_R_0050_0012__SENATOR,R_0050_0007__IS_R_0050_0008__HEADED,R_0050_0018__VIRGINIA,R_0050_0014__WILLIS_R_0050_0015__ROBERTSON,Z_0050_5005,R_0050_0021__TODAY,R_0050_0023__CLOSED,R_0050_0024__SESSION,R_0050_0020__MET,R_0050_0027__WEAVER,R_0050_0029__APPOINTMENT,R_0050_0026__DISCUSS,Z_0050_5009] :
      ( r_0050_0001__The_r_0050_0002__Senate_r_0050_0003__banking_r_0050_0004__committee(R_0050_0001__THE_R_0050_0002__SENATE_R_0050_0003__BANKING_R_0050_0004__COMMITTEE)
      & r_0050_0011__southern(R_0050_0011__SOUTHERN)
      & r_0050_0018__Virginia(R_0050_0018__VIRGINIA)
      & r_0050_0021__today(R_0050_0021__TODAY)
      & r_0050_0023__closed(R_0050_0023__CLOSED)
      & r_0050_0027__Weaver(R_0050_0027__WEAVER)
      & z_0050_5009(Z_0050_5009)
      & has_conj1(Z_0050_5009,R_0050_0026__DISCUSS)
      & r_0050_0026__discuss(R_0050_0026__DISCUSS)
      & has_arg1(R_0050_0026__DISCUSS,R_0050_0029__APPOINTMENT)
      & r_0050_0029__appointment(R_0050_0029__APPOINTMENT)
      & has_gen(R_0050_0029__APPOINTMENT,R_0050_0027__WEAVER)
      & has_arg0(R_0050_0026__DISCUSS,R_0050_0001__THE_R_0050_0002__SENATE_R_0050_0003__BANKING_R_0050_0004__COMMITTEE)
      & has_conj2(Z_0050_5009,R_0050_0020__MET)
      & r_0050_0020__met(R_0050_0020__MET)
      & has_r_0050_0022__in__nim(R_0050_0020__MET,R_0050_0024__SESSION)
      & r_0050_0024__session(R_0050_0024__SESSION)
      & has_attrib(R_0050_0024__SESSION,R_0050_0023__CLOSED)
      & has_nim(R_0050_0020__MET,R_0050_0021__TODAY)
      & has_arg0(R_0050_0020__MET,R_0050_0001__THE_R_0050_0002__SENATE_R_0050_0003__BANKING_R_0050_0004__COMMITTEE)
      & z_0050_5005(Z_0050_5005)
      & has_prd(Z_0050_5005,R_0050_0014__WILLIS_R_0050_0015__ROBERTSON)
      & r_0050_0014__Willis_r_0050_0015__Robertson(R_0050_0014__WILLIS_R_0050_0015__ROBERTSON)
      & has_r_0050_0017__of(R_0050_0014__WILLIS_R_0050_0015__ROBERTSON,R_0050_0018__VIRGINIA)
      & has_arg0(Z_0050_5005,R_0050_0010__ANOTHER_R_0050_0012__SENATOR)
      & r_0050_0010__another_r_0050_0012__Senator(R_0050_0010__ANOTHER_R_0050_0012__SENATOR)
      & has_attrib(R_0050_0010__ANOTHER_R_0050_0012__SENATOR,R_0050_0011__SOUTHERN)
      & r_0050_0007__is_r_0050_0008__headed(R_0050_0007__IS_R_0050_0008__HEADED)
      & has_r_0050_0009__by_arg0(R_0050_0007__IS_R_0050_0008__HEADED,R_0050_0010__ANOTHER_R_0050_0012__SENATOR)
      & has_arg1(R_0050_0007__IS_R_0050_0008__HEADED,R_0050_0001__THE_R_0050_0002__SENATE_R_0050_0003__BANKING_R_0050_0004__COMMITTEE) ) ).