Context                Previous, Next                Top


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.

%3 r_0036_0004__evidence evidence r_0036_0001__Sir_r_0036_0002__John_r_0036_0003___apos_s Sir John 's r_0036_0004__evidence->r_0036_0001__Sir_r_0036_0002__John_r_0036_0003___apos_s [gen] r_0036_0005__is is r_0036_0005__is->r_0036_0004__evidence [arg0] r_0036_0006__that_r_0036_0008__has that has r_0036_0005__is->r_0036_0006__that_r_0036_0008__has [prd] r_0036_0010__known known r_0036_0006__that_r_0036_0008__has->r_0036_0010__known [scope] r_0036_0010__known->r_0036_0001__Sir_r_0036_0002__John_r_0036_0003___apos_s [arg0] r_0036_0009__never never r_0036_0010__known->r_0036_0009__never [nim] z_000_36_a_uksc_judgment_54 r_0036_0010__known->z_000_36_a_uksc_judgment_54 [arg1] r_0036_0013__to_r_0036_0014__need to need z_000_36_a_uksc_judgment_54->r_0036_0013__to_r_0036_0014__need [scope] r_0036_0020__to_r_0036_0021__put to put z_000_36_a_uksc_judgment_54->r_0036_0020__to_r_0036_0021__put [restriction] r_0036_0011__a_r_0036_0012__Government a Government r_0036_0013__to_r_0036_0014__need->r_0036_0011__a_r_0036_0012__Government [arg0] z_000_36_a_uksc_judgment_39 r_0036_0013__to_r_0036_0014__need->z_000_36_a_uksc_judgment_39 [arg1] r_0036_0016__much much z_000_36_a_uksc_judgment_39->r_0036_0016__much [attrib] r_0036_0015__as as r_0036_0016__much->r_0036_0015__as [qual] r_0036_0018__five_r_0036_0019__weeks five weeks r_0036_0016__much->r_0036_0018__five_r_0036_0019__weeks as r_0036_0020__to_r_0036_0021__put->z_000_36_a_uksc_judgment_39 [arg0] r_0036_0022__together together r_0036_0020__to_r_0036_0021__put->r_0036_0022__together [clr] r_0036_0025__agenda agenda r_0036_0020__to_r_0036_0021__put->r_0036_0025__agenda [arg1] r_0036_0025__agenda->r_0036_0011__a_r_0036_0012__Government [gen] r_0036_0024__legislative legislative r_0036_0025__agenda->r_0036_0024__legislative [attrib] 
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_0022__together, clr60).
arc(r_0036_0020__to_r_0036_0021__put, r_0036_0025__agenda, arg1).
arc(r_0036_0020__to_r_0036_0021__put, z_000_36_a_uksc_judgment_39, arg0).
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).


%3 r_0036_0004__evidence evidence r_0036_0001__Sir_r_0036_0002__John_r_0036_0003___apos_s Sir John 's r_0036_0004__evidence->r_0036_0001__Sir_r_0036_0002__John_r_0036_0003___apos_s [gen] r_0036_0005__is is r_0036_0005__is->r_0036_0004__evidence [arg0] r_0036_0006__that_r_0036_0008__has_r_0036_0010__known that has known r_0036_0005__is->r_0036_0006__that_r_0036_0008__has_r_0036_0010__known [prd] 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 [arg0] r_0036_0009__never never r_0036_0006__that_r_0036_0008__has_r_0036_0010__known->r_0036_0009__never [nim] z_000_36_a_uksc_judgment_54 r_0036_0006__that_r_0036_0008__has_r_0036_0010__known->z_000_36_a_uksc_judgment_54 [arg1] r_0036_0013__to_r_0036_0014__need to need z_000_36_a_uksc_judgment_54->r_0036_0013__to_r_0036_0014__need [conj2] r_0036_0020__to_r_0036_0021__put to put z_000_36_a_uksc_judgment_54->r_0036_0020__to_r_0036_0021__put [conj1] r_0036_0011__a_r_0036_0012__Government a Government r_0036_0013__to_r_0036_0014__need->r_0036_0011__a_r_0036_0012__Government [arg0] z_000_36_a_uksc_judgment_39 r_0036_0013__to_r_0036_0014__need->z_000_36_a_uksc_judgment_39 [arg1] r_0036_0016__much much z_000_36_a_uksc_judgment_39->r_0036_0016__much [attrib] r_0036_0015__as as r_0036_0016__much->r_0036_0015__as [qual] r_0036_0018__five_r_0036_0019__weeks five weeks r_0036_0016__much->r_0036_0018__five_r_0036_0019__weeks as r_0036_0020__to_r_0036_0021__put->z_000_36_a_uksc_judgment_39 [arg0] r_0036_0022__together together r_0036_0020__to_r_0036_0021__put->r_0036_0022__together [clr] r_0036_0025__agenda agenda r_0036_0020__to_r_0036_0021__put->r_0036_0025__agenda [arg1] r_0036_0025__agenda->r_0036_0011__a_r_0036_0012__Government [gen] r_0036_0024__legislative legislative r_0036_0025__agenda->r_0036_0024__legislative [attrib] 
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,Z_36_A_UKSC_JUDGMENT_39,R_36_25_AGENDA)
      & 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)
      & 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)
      & nim24(R_36_6_THAT_HAS_KNOWN,R_36_9_NEVER) ) ).


n36_a_uksc_judgment n36_a_uksc_judgment_5 Sir n36_a_uksc_judgment_7 John n36_a_uksc_judgment_9 's n36_a_uksc_judgment_11 evidence n36_a_uksc_judgment_13 is n36_a_uksc_judgment_17 that n36_a_uksc_judgment_20 he n36_a_uksc_judgment_22 has n36_a_uksc_judgment_26 never n36_a_uksc_judgment_28 known n36_a_uksc_judgment_31 a n36_a_uksc_judgment_33 Government n36_a_uksc_judgment_36 to n36_a_uksc_judgment_38 need n36_a_uksc_judgment_43 as n36_a_uksc_judgment_45 much n36_a_uksc_judgment_48 as n36_a_uksc_judgment_51 five n36_a_uksc_judgment_53 weeks n36_a_uksc_judgment_57 to n36_a_uksc_judgment_59 put n36_a_uksc_judgment_62 together n36_a_uksc_judgment_66 its n36_a_uksc_judgment_69 legislative n36_a_uksc_judgment_71 agenda n36_a_uksc_judgment_73 . n36_a_uksc_judgment_1 IP-MAT n36_a_uksc_judgment_2 NP-SBJ n36_a_uksc_judgment_1->n36_a_uksc_judgment_2 n36_a_uksc_judgment_12 BEP;_equ_Vf_ n36_a_uksc_judgment_1->n36_a_uksc_judgment_12 n36_a_uksc_judgment_14 CP-THT-PRD n36_a_uksc_judgment_1->n36_a_uksc_judgment_14 n36_a_uksc_judgment_72 PUNC n36_a_uksc_judgment_1->n36_a_uksc_judgment_72 n36_a_uksc_judgment_3 NP-GEN n36_a_uksc_judgment_2->n36_a_uksc_judgment_3 n36_a_uksc_judgment_10 N n36_a_uksc_judgment_2->n36_a_uksc_judgment_10 n36_a_uksc_judgment_4 NPR n36_a_uksc_judgment_3->n36_a_uksc_judgment_4 n36_a_uksc_judgment_6 NPR n36_a_uksc_judgment_3->n36_a_uksc_judgment_6 n36_a_uksc_judgment_8 GENM n36_a_uksc_judgment_3->n36_a_uksc_judgment_8 n36_a_uksc_judgment_4->n36_a_uksc_judgment_5 n36_a_uksc_judgment_6->n36_a_uksc_judgment_7 n36_a_uksc_judgment_8->n36_a_uksc_judgment_9 n36_a_uksc_judgment_10->n36_a_uksc_judgment_11 n36_a_uksc_judgment_12->n36_a_uksc_judgment_13 n36_a_uksc_judgment_15 IP-SUB n36_a_uksc_judgment_14->n36_a_uksc_judgment_15 n36_a_uksc_judgment_16 C n36_a_uksc_judgment_15->n36_a_uksc_judgment_16 n36_a_uksc_judgment_18 NP-SBJ n36_a_uksc_judgment_15->n36_a_uksc_judgment_18 n36_a_uksc_judgment_21 HVP;_cat_Ve_ n36_a_uksc_judgment_15->n36_a_uksc_judgment_21 n36_a_uksc_judgment_23 IP-PPL-CAT n36_a_uksc_judgment_15->n36_a_uksc_judgment_23 n36_a_uksc_judgment_16->n36_a_uksc_judgment_17 n36_a_uksc_judgment_19 PRO n36_a_uksc_judgment_18->n36_a_uksc_judgment_19 n36_a_uksc_judgment_19->n36_a_uksc_judgment_20 n36_a_uksc_judgment_21->n36_a_uksc_judgment_22 n36_a_uksc_judgment_24 ADVP-NIM n36_a_uksc_judgment_23->n36_a_uksc_judgment_24 n36_a_uksc_judgment_27 VVN;_Tnt_ n36_a_uksc_judgment_23->n36_a_uksc_judgment_27 n36_a_uksc_judgment_29 NP-DOB1 n36_a_uksc_judgment_23->n36_a_uksc_judgment_29 n36_a_uksc_judgment_34 IP-INF-OB1 n36_a_uksc_judgment_23->n36_a_uksc_judgment_34 n36_a_uksc_judgment_25 ADV n36_a_uksc_judgment_24->n36_a_uksc_judgment_25 n36_a_uksc_judgment_25->n36_a_uksc_judgment_26 n36_a_uksc_judgment_27->n36_a_uksc_judgment_28 n36_a_uksc_judgment_30 D n36_a_uksc_judgment_29->n36_a_uksc_judgment_30 n36_a_uksc_judgment_32 N n36_a_uksc_judgment_29->n36_a_uksc_judgment_32 n36_a_uksc_judgment_30->n36_a_uksc_judgment_31 n36_a_uksc_judgment_32->n36_a_uksc_judgment_33 n36_a_uksc_judgment_35 TO n36_a_uksc_judgment_34->n36_a_uksc_judgment_35 n36_a_uksc_judgment_37 VB;_Tn_ n36_a_uksc_judgment_34->n36_a_uksc_judgment_37 n36_a_uksc_judgment_39 NP-OB1 n36_a_uksc_judgment_34->n36_a_uksc_judgment_39 n36_a_uksc_judgment_54 PP-SCON n36_a_uksc_judgment_34->n36_a_uksc_judgment_54 n36_a_uksc_judgment_35->n36_a_uksc_judgment_36 n36_a_uksc_judgment_37->n36_a_uksc_judgment_38 n36_a_uksc_judgment_40 ADJP n36_a_uksc_judgment_39->n36_a_uksc_judgment_40 n36_a_uksc_judgment_41 ADVP n36_a_uksc_judgment_40->n36_a_uksc_judgment_41 n36_a_uksc_judgment_44 ADJ n36_a_uksc_judgment_40->n36_a_uksc_judgment_44 n36_a_uksc_judgment_46 PP n36_a_uksc_judgment_40->n36_a_uksc_judgment_46 n36_a_uksc_judgment_42 ADV n36_a_uksc_judgment_41->n36_a_uksc_judgment_42 n36_a_uksc_judgment_42->n36_a_uksc_judgment_43 n36_a_uksc_judgment_44->n36_a_uksc_judgment_45 n36_a_uksc_judgment_47 P-ROLE n36_a_uksc_judgment_46->n36_a_uksc_judgment_47 n36_a_uksc_judgment_49 NP n36_a_uksc_judgment_46->n36_a_uksc_judgment_49 n36_a_uksc_judgment_47->n36_a_uksc_judgment_48 n36_a_uksc_judgment_50 NUM n36_a_uksc_judgment_49->n36_a_uksc_judgment_50 n36_a_uksc_judgment_52 NS n36_a_uksc_judgment_49->n36_a_uksc_judgment_52 n36_a_uksc_judgment_50->n36_a_uksc_judgment_51 n36_a_uksc_judgment_52->n36_a_uksc_judgment_53 n36_a_uksc_judgment_55 IP-INF n36_a_uksc_judgment_54->n36_a_uksc_judgment_55 n36_a_uksc_judgment_56 TO n36_a_uksc_judgment_55->n36_a_uksc_judgment_56 n36_a_uksc_judgment_58 VB;_Tn.p_ n36_a_uksc_judgment_55->n36_a_uksc_judgment_58 n36_a_uksc_judgment_60 ADVP-CLR n36_a_uksc_judgment_55->n36_a_uksc_judgment_60 n36_a_uksc_judgment_63 NP-OB1 n36_a_uksc_judgment_55->n36_a_uksc_judgment_63 n36_a_uksc_judgment_56->n36_a_uksc_judgment_57 n36_a_uksc_judgment_58->n36_a_uksc_judgment_59 n36_a_uksc_judgment_61 ADV n36_a_uksc_judgment_60->n36_a_uksc_judgment_61 n36_a_uksc_judgment_61->n36_a_uksc_judgment_62 n36_a_uksc_judgment_64 NP-GEN n36_a_uksc_judgment_63->n36_a_uksc_judgment_64 n36_a_uksc_judgment_67 ADJP n36_a_uksc_judgment_63->n36_a_uksc_judgment_67 n36_a_uksc_judgment_70 N n36_a_uksc_judgment_63->n36_a_uksc_judgment_70 n36_a_uksc_judgment_65 PRO;_genm_ n36_a_uksc_judgment_64->n36_a_uksc_judgment_65 n36_a_uksc_judgment_65->n36_a_uksc_judgment_66 n36_a_uksc_judgment_68 ADJ n36_a_uksc_judgment_67->n36_a_uksc_judgment_68 n36_a_uksc_judgment_68->n36_a_uksc_judgment_69 n36_a_uksc_judgment_70->n36_a_uksc_judgment_71 n36_a_uksc_judgment_72->n36_a_uksc_judgment_73 
( (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))