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_0036_0001__SIR_R_0036_0002__JOHN_R_0036_0003___APOS_S,R_0036_0004__EVIDENCE,R_0036_0009__NEVER,R_0036_0011__A_R_0036_0012__GOVERNMENT,R_0036_0015__AS,R_0036_0018__FIVE_R_0036_0019__WEEKS,R_0036_0016__MUCH,Z_000_36_A_UKSC_JUDGMENT_39,R_0036_0013__TO_R_0036_0014__NEED,R_0036_0022__TOGETHER,R_0036_0024__LEGISLATIVE,R_0036_0025__AGENDA,R_0036_0020__TO_R_0036_0021__PUT,Z_000_36_A_UKSC_JUDGMENT_54,R_0036_0006__THAT_R_0036_0008__HAS_R_0036_0010__KNOWN,R_0036_0005__IS] :
( r_0036_0001__Sir_r_0036_0002__John_r_0036_0003___apos_s(R_0036_0001__SIR_R_0036_0002__JOHN_R_0036_0003___APOS_S)
& r_0036_0009__never(R_0036_0009__NEVER)
& r_0036_0011__a_r_0036_0012__Government(R_0036_0011__A_R_0036_0012__GOVERNMENT)
& r_0036_0015__as(R_0036_0015__AS)
& r_0036_0018__five_r_0036_0019__weeks(R_0036_0018__FIVE_R_0036_0019__WEEKS)
& r_0036_0022__together(R_0036_0022__TOGETHER)
& r_0036_0024__legislative(R_0036_0024__LEGISLATIVE)
& r_0036_0005__is(R_0036_0005__IS)
& has_prd(R_0036_0005__IS,R_0036_0006__THAT_R_0036_0008__HAS_R_0036_0010__KNOWN)
& r_0036_0006__that_r_0036_0008__has_r_0036_0010__known(R_0036_0006__THAT_R_0036_0008__HAS_R_0036_0010__KNOWN)
& has_arg1(R_0036_0006__THAT_R_0036_0008__HAS_R_0036_0010__KNOWN,Z_000_36_A_UKSC_JUDGMENT_54)
& z_000_36_a_uksc_judgment_54(Z_000_36_A_UKSC_JUDGMENT_54)
& has_conj1(Z_000_36_A_UKSC_JUDGMENT_54,R_0036_0020__TO_R_0036_0021__PUT)
& r_0036_0020__to_r_0036_0021__put(R_0036_0020__TO_R_0036_0021__PUT)
& has_arg1(R_0036_0020__TO_R_0036_0021__PUT,R_0036_0025__AGENDA)
& r_0036_0025__agenda(R_0036_0025__AGENDA)
& has_attrib67(R_0036_0025__AGENDA,R_0036_0024__LEGISLATIVE)
& has_gen(R_0036_0025__AGENDA,R_0036_0011__A_R_0036_0012__GOVERNMENT)
& has_clr60(R_0036_0020__TO_R_0036_0021__PUT,R_0036_0022__TOGETHER)
& has_arg0(R_0036_0020__TO_R_0036_0021__PUT,R_0036_0011__A_R_0036_0012__GOVERNMENT)
& has_conj2(Z_000_36_A_UKSC_JUDGMENT_54,R_0036_0013__TO_R_0036_0014__NEED)
& r_0036_0013__to_r_0036_0014__need(R_0036_0013__TO_R_0036_0014__NEED)
& has_arg1(R_0036_0013__TO_R_0036_0014__NEED,Z_000_36_A_UKSC_JUDGMENT_39)
& z_000_36_a_uksc_judgment_39(Z_000_36_A_UKSC_JUDGMENT_39)
& has_attrib40(Z_000_36_A_UKSC_JUDGMENT_39,R_0036_0016__MUCH)
& r_0036_0016__much(R_0036_0016__MUCH)
& has_r_0036_0017__as(R_0036_0016__MUCH,R_0036_0018__FIVE_R_0036_0019__WEEKS)
& has_qual41(R_0036_0016__MUCH,R_0036_0015__AS)
& has_arg0(R_0036_0013__TO_R_0036_0014__NEED,R_0036_0011__A_R_0036_0012__GOVERNMENT)
& has_nim24(R_0036_0006__THAT_R_0036_0008__HAS_R_0036_0010__KNOWN,R_0036_0009__NEVER)
& has_arg0(R_0036_0006__THAT_R_0036_0008__HAS_R_0036_0010__KNOWN,R_0036_0001__SIR_R_0036_0002__JOHN_R_0036_0003___APOS_S)
& has_arg0(R_0036_0005__IS,R_0036_0004__EVIDENCE)
& r_0036_0004__evidence(R_0036_0004__EVIDENCE)
& has_gen(R_0036_0004__EVIDENCE,R_0036_0001__SIR_R_0036_0002__JOHN_R_0036_0003___APOS_S) ) ).
( (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))