27_a_uksc_judgment
It will be apparent from the documents quoted earlier that no reason was given for closing down Parliament for five weeks.
( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (BE;_La_ be;{be})
(ADJP-PRD (ADJ apparent;{apparent})
(PP (P-ROLE from;{from})
(NP (D the;{the})
(NS documents;{document})
(IP-PPL (NP-LGS *)
(VVN;_Tn_ quoted;{quote})
(ADVP-NIM (ADVR earlier;{early}))))))
(CP-THT-NSBJ (IP-SUB (C that;{that})
(NP-SBJ (Q no;{no})
(N reason;{reason}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn.pr_ given;{give[for]})
(PP-CLR (P-ROLE for;{for})
(IP-PPL3 (VAG;_phr_Vn<=>p_ closing;{close[down]})
(RP down;{down})
(NP-OB1;{PARLIAMENT} (NPR Parliament;{Parliament}))
(PP-NIM (P-ROLE for;{for})
(NP (NUM five;{five})
(NS weeks;{week})))))))))
(PUNC .))
(ID 27_a_uksc_judgment))
arc(r_0027_0002__will,r_0027_0003__be,scope).
arc(r_0027_0003__be,r_0027_0004__apparent,prd).
arc(r_0027_0003__be,r_0027_0011__no__quant,arg0).
arc(r_0027_0004__apparent,r_0027_0006__the_r_0027_0007__documents,r_0027_0005__from).
arc(r_0027_0008__quoted,r_0027_0006__the_r_0027_0007__documents,inv_arg1).
arc(r_0027_0008__quoted,r_0027_0009__earlier,nim).
arc(r_0027_0008__quoted,z_0027_5018___star_,arg0).
arc(r_0027_0011__no__quant,r_0027_0012__reason,restriction).
arc(r_0027_0011__no__quant,r_0027_0013__was,scope).
arc(r_0027_0013__was,r_0027_0014__given,scope).
arc(r_0027_0014__given,r_0027_0012__reason,arg1).
arc(r_0027_0014__given,r_0027_0016__closing_r_0027_0017__down,r_0027_0015__for__clr).
arc(r_0027_0014__given,z_0027_5012___star_,arg0).
arc(r_0027_0016__closing_r_0027_0017__down,r_0027_0018__Parliament,arg1).
arc(r_0027_0016__closing_r_0027_0017__down,r_0027_0020__five_r_0027_0021__weeks,r_0027_0019__for__nim).
arc(r_0027_0016__closing_r_0027_0017__down,z_0027_5009,arg0).
fof(formula,axiom,
? [R_0027_0009__EARLIER,Z_0027_5018___STAR_,R_0027_0008__QUOTED,R_0027_0006__THE_R_0027_0007__DOCUMENTS,R_0027_0004__APPARENT,R_0027_0002__WILL_R_0027_0003__BE] :
( r_0027_0009__earlier(R_0027_0009__EARLIER)
& z_0027_5018___star_(Z_0027_5018___STAR_)
& r_0027_0002__will_r_0027_0003__be(R_0027_0002__WILL_R_0027_0003__BE)
& ! [R_0027_0012__REASON] :
( r_0027_0012__reason(R_0027_0012__REASON)
=> ? [R_0027_0018__PARLIAMENT,R_0027_0020__FIVE_R_0027_0021__WEEKS,Z_0027_5009,R_0027_0016__CLOSING_R_0027_0017__DOWN,Z_0027_5012___STAR_,R_0027_0013__WAS_R_0027_0014__GIVEN] :
( r_0027_0018__Parliament(R_0027_0018__PARLIAMENT)
& r_0027_0020__five_r_0027_0021__weeks(R_0027_0020__FIVE_R_0027_0021__WEEKS)
& z_0027_5009(Z_0027_5009)
& z_0027_5012___star_(Z_0027_5012___STAR_)
& r_0027_0013__was_r_0027_0014__given(R_0027_0013__WAS_R_0027_0014__GIVEN)
& has_arg0(R_0027_0013__WAS_R_0027_0014__GIVEN,Z_0027_5012___STAR_)
& has_r_0027_0015__for__clr(R_0027_0013__WAS_R_0027_0014__GIVEN,R_0027_0016__CLOSING_R_0027_0017__DOWN)
& r_0027_0016__closing_r_0027_0017__down(R_0027_0016__CLOSING_R_0027_0017__DOWN)
& has_arg0(R_0027_0016__CLOSING_R_0027_0017__DOWN,Z_0027_5009)
& has_r_0027_0019__for__nim(R_0027_0016__CLOSING_R_0027_0017__DOWN,R_0027_0020__FIVE_R_0027_0021__WEEKS)
& has_arg1(R_0027_0016__CLOSING_R_0027_0017__DOWN,R_0027_0018__PARLIAMENT)
& has_arg1(R_0027_0013__WAS_R_0027_0014__GIVEN,R_0027_0012__REASON) ) )
& has_prd(R_0027_0002__WILL_R_0027_0003__BE,R_0027_0004__APPARENT)
& r_0027_0004__apparent(R_0027_0004__APPARENT)
& has_r_0027_0005__from(R_0027_0004__APPARENT,R_0027_0006__THE_R_0027_0007__DOCUMENTS)
& r_0027_0006__the_r_0027_0007__documents(R_0027_0006__THE_R_0027_0007__DOCUMENTS)
& has_inv_arg1(R_0027_0006__THE_R_0027_0007__DOCUMENTS,R_0027_0008__QUOTED)
& r_0027_0008__quoted(R_0027_0008__QUOTED)
& has_arg0(R_0027_0008__QUOTED,Z_0027_5018___STAR_)
& has_nim(R_0027_0008__QUOTED,R_0027_0009__EARLIER) ) ).