53_a_lob_a01
Senator Robertson's committee has to pass Mr Weaver's nomination before it can be considered by the full Senate.
arc(r_0053_0004__committee, r_0053_0001__Senator_r_0053_0002__Robertson_r_0053_0003___apos_s, gen).
arc(r_0053_0005__has, r_0053_0006__to_r_0053_0007__pass, scope).
arc(r_0053_0006__to_r_0053_0007__pass, r_0053_0004__committee, arg0).
arc(r_0053_0006__to_r_0053_0007__pass, r_0053_0011__nomination, arg1).
arc(r_0053_0011__nomination, r_0053_0008__Mr_r_0053_0009__Weaver_r_0053_0010___apos_s, gen).
arc(r_0053_0012__before, r_0053_0005__has, scope).
arc(r_0053_0012__before, r_0053_0014__can, restriction).
arc(r_0053_0014__can, r_0053_0015__be, scope).
arc(r_0053_0015__be, r_0053_0016__considered, scope).
arc(r_0053_0016__considered, r_0053_0011__nomination, arg1).
arc(r_0053_0016__considered, r_0053_0018__the_r_0053_0020__Senate, arg0).
arc(r_0053_0018__the_r_0053_0020__Senate, r_0053_0019__full, attrib50).
fof(formula,axiom,
? [R_0053_0001__SENATOR_R_0053_0002__ROBERTSON_R_0053_0003___APOS_S,R_0053_0004__COMMITTEE,R_0053_0008__MR_R_0053_0009__WEAVER_R_0053_0010___APOS_S,R_0053_0011__NOMINATION,R_0053_0005__HAS_R_0053_0006__TO_R_0053_0007__PASS,R_0053_0019__FULL,R_0053_0018__THE_R_0053_0020__SENATE,R_0053_0014__CAN_R_0053_0015__BE_R_0053_0016__CONSIDERED,R_0053_0012__BEFORE] :
( r_0053_0001__Senator_r_0053_0002__Robertson_r_0053_0003___apos_s(R_0053_0001__SENATOR_R_0053_0002__ROBERTSON_R_0053_0003___APOS_S)
& r_0053_0008__Mr_r_0053_0009__Weaver_r_0053_0010___apos_s(R_0053_0008__MR_R_0053_0009__WEAVER_R_0053_0010___APOS_S)
& r_0053_0019__full(R_0053_0019__FULL)
& r_0053_0012__before(R_0053_0012__BEFORE)
& has_conj1(R_0053_0012__BEFORE,R_0053_0014__CAN_R_0053_0015__BE_R_0053_0016__CONSIDERED)
& r_0053_0014__can_r_0053_0015__be_r_0053_0016__considered(R_0053_0014__CAN_R_0053_0015__BE_R_0053_0016__CONSIDERED)
& has_arg0(R_0053_0014__CAN_R_0053_0015__BE_R_0053_0016__CONSIDERED,R_0053_0018__THE_R_0053_0020__SENATE)
& r_0053_0018__the_r_0053_0020__Senate(R_0053_0018__THE_R_0053_0020__SENATE)
& has_attrib50(R_0053_0018__THE_R_0053_0020__SENATE,R_0053_0019__FULL)
& has_arg1(R_0053_0014__CAN_R_0053_0015__BE_R_0053_0016__CONSIDERED,R_0053_0011__NOMINATION)
& r_0053_0011__nomination(R_0053_0011__NOMINATION)
& has_gen(R_0053_0011__NOMINATION,R_0053_0008__MR_R_0053_0009__WEAVER_R_0053_0010___APOS_S)
& has_conj2(R_0053_0012__BEFORE,R_0053_0005__HAS_R_0053_0006__TO_R_0053_0007__PASS)
& r_0053_0005__has_r_0053_0006__to_r_0053_0007__pass(R_0053_0005__HAS_R_0053_0006__TO_R_0053_0007__PASS)
& has_arg1(R_0053_0005__HAS_R_0053_0006__TO_R_0053_0007__PASS,R_0053_0011__NOMINATION)
& has_arg0(R_0053_0005__HAS_R_0053_0006__TO_R_0053_0007__PASS,R_0053_0004__COMMITTEE)
& r_0053_0004__committee(R_0053_0004__COMMITTEE)
& has_gen(R_0053_0004__COMMITTEE,R_0053_0001__SENATOR_R_0053_0002__ROBERTSON_R_0053_0003___APOS_S) ) ).
( (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 53_a_lob_a01))