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_53_12_BEFORE,R_53_14_CAN_BE_CONSIDERED,R_53_18_THE_SENATE,R_53_19_FULL,R_53_5_HAS_TO_PASS,R_53_4_COMMITTEE,R_53_1_SENATOR_ROBERTSON_APOS_S,R_53_11_NOMINATION,R_53_8_MR_WEAVER_APOS_S] :
( full(R_53_19_FULL)
& senator_Robertson_apos_s(R_53_1_SENATOR_ROBERTSON_APOS_S)
& mr_Weaver_apos_s(R_53_8_MR_WEAVER_APOS_S)
& before(R_53_12_BEFORE)
& conj1(R_53_12_BEFORE,R_53_14_CAN_BE_CONSIDERED)
& can_be_considered(R_53_14_CAN_BE_CONSIDERED,R_53_18_THE_SENATE,R_53_11_NOMINATION)
& the_Senate(R_53_18_THE_SENATE)
& attrib50(R_53_18_THE_SENATE,R_53_19_FULL)
& nomination(R_53_11_NOMINATION)
& gen(R_53_11_NOMINATION,R_53_8_MR_WEAVER_APOS_S)
& conj2(R_53_12_BEFORE,R_53_5_HAS_TO_PASS)
& has_to_pass(R_53_5_HAS_TO_PASS,R_53_4_COMMITTEE,R_53_11_NOMINATION)
& committee(R_53_4_COMMITTEE)
& gen(R_53_4_COMMITTEE,R_53_1_SENATOR_ROBERTSON_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))