TSPC 55_a_lob

55_a_lob_a01
Senator Robertson's committee has to pass Mr Weaver's nomination before it can be considered by the full Senate.

( (IP-MAT (NP-SBJ (NP-GEN;{ROBERTSON} (N Senator;{senator})
                                      (NPR Robertson;{Robertson})
                                      (GENM <apos>s))
                  (N committee;{committee}))
          (HVP;_cat_Vt_ has;{have})
          (IP-INF-CAT (TO to;{to})
                      (VB;_Tn_ pass;{pass})
                      (NP-OB1;{NOMINATION} (NP-GEN;{WEAVER} (N Mr;{mr})
                                                            (NPR Weaver;{Weaver})
                                                            (GENM <apos>s))
                                           (N nomination;{nomination})))
          (PP-SCON (P-CONN before;{before})
                   (IP-ADV (NP-SBJ;{NOMINATION} (PRO it;{it}))
                           (MD;_cat_Vi_ can;{can})
                           (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                       (IP-PPL-CAT (VVN;_Tn_ considered;{consider})
                                                   (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                           (NP (D the;{the})
                                                               (ADJP (ADJ full;{full}))
                                                               (NPR Senate;{Senate})))))))
          (PUNC .))
  (ID 55_a_lob_a01))

arc(r_0055_0004__committee,r_0055_0001__Senator_r_0055_0002__Robertson,gen).
arc(r_0055_0005__has,r_0055_0007__pass,scope).
arc(r_0055_0007__pass,r_0055_0004__committee,arg0).
arc(r_0055_0007__pass,r_0055_0011__nomination,arg1).
arc(r_0055_0011__nomination,r_0055_0008__Mr_r_0055_0009__Weaver,gen).
arc(r_0055_0012__before,r_0055_0005__has,scope).
arc(r_0055_0012__before,r_0055_0014__can,restriction).
arc(r_0055_0014__can,r_0055_0015__be,scope).
arc(r_0055_0015__be,r_0055_0016__considered,scope).
arc(r_0055_0016__considered,r_0055_0011__nomination,arg1).
arc(r_0055_0016__considered,r_0055_0018__the_r_0055_0020__Senate,r_0055_0017__by_arg0).
arc(r_0055_0018__the_r_0055_0020__Senate,r_0055_0019__full,attrib).

fof(formula,axiom,
    ? [R_0055_0001__SENATOR_R_0055_0002__ROBERTSON,R_0055_0004__COMMITTEE,R_0055_0008__MR_R_0055_0009__WEAVER,R_0055_0011__NOMINATION,R_0055_0005__HAS_R_0055_0007__PASS,R_0055_0019__FULL,R_0055_0018__THE_R_0055_0020__SENATE,R_0055_0014__CAN_R_0055_0015__BE_R_0055_0016__CONSIDERED,R_0055_0012__BEFORE] :
      ( r_0055_0001__Senator_r_0055_0002__Robertson(R_0055_0001__SENATOR_R_0055_0002__ROBERTSON)
      & r_0055_0008__Mr_r_0055_0009__Weaver(R_0055_0008__MR_R_0055_0009__WEAVER)
      & r_0055_0019__full(R_0055_0019__FULL)
      & r_0055_0012__before(R_0055_0012__BEFORE)
      & has_conj1(R_0055_0012__BEFORE,R_0055_0014__CAN_R_0055_0015__BE_R_0055_0016__CONSIDERED)
      & r_0055_0014__can_r_0055_0015__be_r_0055_0016__considered(R_0055_0014__CAN_R_0055_0015__BE_R_0055_0016__CONSIDERED)
      & has_r_0055_0017__by_arg0(R_0055_0014__CAN_R_0055_0015__BE_R_0055_0016__CONSIDERED,R_0055_0018__THE_R_0055_0020__SENATE)
      & r_0055_0018__the_r_0055_0020__Senate(R_0055_0018__THE_R_0055_0020__SENATE)
      & has_attrib(R_0055_0018__THE_R_0055_0020__SENATE,R_0055_0019__FULL)
      & has_arg1(R_0055_0014__CAN_R_0055_0015__BE_R_0055_0016__CONSIDERED,R_0055_0011__NOMINATION)
      & r_0055_0011__nomination(R_0055_0011__NOMINATION)
      & has_gen(R_0055_0011__NOMINATION,R_0055_0008__MR_R_0055_0009__WEAVER)
      & has_conj2(R_0055_0012__BEFORE,R_0055_0005__HAS_R_0055_0007__PASS)
      & r_0055_0005__has_r_0055_0007__pass(R_0055_0005__HAS_R_0055_0007__PASS)
      & has_arg1(R_0055_0005__HAS_R_0055_0007__PASS,R_0055_0011__NOMINATION)
      & has_arg0(R_0055_0005__HAS_R_0055_0007__PASS,R_0055_0004__COMMITTEE)
      & r_0055_0004__committee(R_0055_0004__COMMITTEE)
      & has_gen(R_0055_0004__COMMITTEE,R_0055_0001__SENATOR_R_0055_0002__ROBERTSON) ) ).