36_a_uksc_judgment
Sir John's evidence is that he has never known a Government to need as much as five weeks to put together its legislative agenda.
arc(r_0036_0004__evidence, r_0036_0001__Sir_r_0036_0002__John_r_0036_0003___apos_s, gen).
arc(r_0036_0005__is, r_0036_0004__evidence, arg0).
arc(r_0036_0005__is, r_0036_0006__that_r_0036_0008__has, prd).
arc(r_0036_0006__that_r_0036_0008__has, r_0036_0010__known, scope).
arc(r_0036_0010__known, r_0036_0001__Sir_r_0036_0002__John_r_0036_0003___apos_s, arg0).
arc(r_0036_0010__known, r_0036_0009__never, nim24).
arc(r_0036_0010__known, z_000_36_a_uksc_judgment_54, arg1).
arc(r_0036_0013__to_r_0036_0014__need, r_0036_0011__a_r_0036_0012__Government, arg0).
arc(r_0036_0013__to_r_0036_0014__need, z_000_36_a_uksc_judgment_39, arg1).
arc(r_0036_0016__much, r_0036_0015__as, qual41).
arc(r_0036_0016__much, r_0036_0018__five_r_0036_0019__weeks, r_0036_0017__as).
arc(r_0036_0020__to_r_0036_0021__put, r_0036_0011__a_r_0036_0012__Government, arg0).
arc(r_0036_0020__to_r_0036_0021__put, r_0036_0022__together, clr60).
arc(r_0036_0020__to_r_0036_0021__put, r_0036_0025__agenda, arg1).
arc(r_0036_0025__agenda, r_0036_0011__a_r_0036_0012__Government, gen).
arc(r_0036_0025__agenda, r_0036_0024__legislative, attrib67).
arc(z_000_36_a_uksc_judgment_39, r_0036_0016__much, attrib40).
arc(z_000_36_a_uksc_judgment_54, r_0036_0013__to_r_0036_0014__need, scope).
arc(z_000_36_a_uksc_judgment_54, r_0036_0020__to_r_0036_0021__put, restriction).
fof(formula,axiom,
? [R_36_5_IS,R_36_4_EVIDENCE,R_36_6_THAT_HAS_KNOWN,R_36_1_SIR_JOHN_APOS_S,Z_36_A_UKSC_JUDGMENT_54,R_36_20_TO_PUT,R_36_25_AGENDA,R_36_24_LEGISLATIVE,R_36_22_TOGETHER,R_36_13_TO_NEED,R_36_11_A_GOVERNMENT,Z_36_A_UKSC_JUDGMENT_39,R_36_16_MUCH,R_36_15_AS,R_36_18_FIVE_WEEKS,R_36_9_NEVER] :
( sir_John_apos_s(R_36_1_SIR_JOHN_APOS_S)
& legislative(R_36_24_LEGISLATIVE)
& together(R_36_22_TOGETHER)
& a_Government(R_36_11_A_GOVERNMENT)
& as(R_36_15_AS)
& five_weeks(R_36_18_FIVE_WEEKS)
& never(R_36_9_NEVER)
& is(R_36_5_IS,R_36_4_EVIDENCE,R_36_6_THAT_HAS_KNOWN)
& evidence(R_36_4_EVIDENCE)
& gen(R_36_4_EVIDENCE,R_36_1_SIR_JOHN_APOS_S)
& that_has_known(R_36_6_THAT_HAS_KNOWN,R_36_1_SIR_JOHN_APOS_S,Z_36_A_UKSC_JUDGMENT_54)
& z_36_a_uksc_judgment_54(Z_36_A_UKSC_JUDGMENT_54)
& conj1(Z_36_A_UKSC_JUDGMENT_54,R_36_20_TO_PUT)
& to_put(R_36_20_TO_PUT,R_36_11_A_GOVERNMENT,R_36_25_AGENDA)
& agenda(R_36_25_AGENDA)
& attrib67(R_36_25_AGENDA,R_36_24_LEGISLATIVE)
& gen(R_36_25_AGENDA,R_36_11_A_GOVERNMENT)
& clr60(R_36_20_TO_PUT,R_36_22_TOGETHER)
& conj2(Z_36_A_UKSC_JUDGMENT_54,R_36_13_TO_NEED)
& to_need(R_36_13_TO_NEED,R_36_11_A_GOVERNMENT,Z_36_A_UKSC_JUDGMENT_39)
& z_36_a_uksc_judgment_39(Z_36_A_UKSC_JUDGMENT_39)
& attrib40(Z_36_A_UKSC_JUDGMENT_39,R_36_16_MUCH)
& much(R_36_16_MUCH)
& qual41(R_36_16_MUCH,R_36_15_AS)
& as(R_36_16_MUCH,R_36_18_FIVE_WEEKS)
& nim24(R_36_6_THAT_HAS_KNOWN,R_36_9_NEVER) ) ).
( (IP-MAT (NP-SBJ (NP-GEN;{MAJOR} (NPR Sir;{Sir})
(NPR John;{John})
(GENM <apos>s))
(N evidence;{evidence}))
(BEP;_equ_Vf_ is;{be})
(CP-THT-PRD (IP-SUB (C that;{that})
(NP-SBJ;{MAJOR} (PRO he;{he}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (ADVP-NIM (ADV never;{never}))
(VVN;_Tnt_ known;{know})
(NP-DOB1;{GOV} (D a;{a})
(N Government;{government}))
(IP-INF-OB1 (TO to;{to})
(VB;_Tn_ need;{need})
(NP-OB1 (ADJP (ADVP (ADV as;{as}))
(ADJ much;{much})
(PP (P-ROLE as;{as})
(NP (NUM five;{five})
(NS weeks;{week})))))
(PP-SCON (IP-INF (TO to;{to})
(VB;_Tn.p_ put;{put[together]})
(ADVP-CLR (ADV together;{together}))
(NP-OB1 (NP-GEN;{GOV} (PRO;_genm_ its;{its}))
(ADJP (ADJ legislative;{legislative}))
(N agenda;{agenda}))))))))
(PUNC .))
(ID 36_a_uksc_judgment))