47_a_uksc_judgment
Perhaps most tellingly of all, the memorandum does not address the competing merits of going into recess and prorogation.
arc(r_0047_0003__tellingly, r_0047_0002__most, qual6).
arc(r_0047_0003__tellingly, z_000_47_a_uksc_judgment_14, r_0047_0004__of).
arc(r_0047_0005__all_quant, r_0047_0003__tellingly, scope).
arc(r_0047_0005__all_quant, z_000_47_a_uksc_judgment_14, restriction).
arc(r_0047_0009__does_r_0047_0011__address, r_0047_0001__Perhaps, nim2).
arc(r_0047_0009__does_r_0047_0011__address, r_0047_0003__tellingly, nim5).
arc(r_0047_0009__does_r_0047_0011__address, r_0047_0007__the_r_0047_0008__memorandum, arg0).
arc(r_0047_0009__does_r_0047_0011__address, r_0047_0012__the_r_0047_0014__merits, arg1).
arc(r_0047_0010__not, r_0047_0009__does_r_0047_0011__address, keep_scope).
arc(r_0047_0012__the_r_0047_0014__merits, r_0047_0013__competing, attrib33).
arc(r_0047_0012__the_r_0047_0014__merits, r_0047_0016__going, r_0047_0015__of).
arc(r_0047_0016__going, r_0047_0019__and, r_0047_0017__into_clr47).
arc(r_0047_0016__going, z_000_47_a_uksc_judgment_41, arg0).
arc(r_0047_0019__and, r_0047_0018__recess, conj1).
arc(r_0047_0019__and, r_0047_0020__prorogation, conj2).
fof(formula,axiom,
( ! [Z_47_A_UKSC_JUDGMENT_14] :
( true
=> ? [R_47_9_DOES_ADDRESS,R_47_7_THE_MEMORANDUM,R_47_12_THE_MERITS,R_47_13_COMPETING,R_47_16_GOING,Z_47_A_UKSC_JUDGMENT_41,R_47_19_AND,R_47_18_RECESS,R_47_20_PROROGATION,R_47_1_PERHAPS,R_47_3_TELLINGLY,R_47_2_MOST] :
( the_memorandum(R_47_7_THE_MEMORANDUM)
& competing(R_47_13_COMPETING)
& recess(R_47_18_RECESS)
& prorogation(R_47_20_PROROGATION)
& perhaps(R_47_1_PERHAPS)
& most(R_47_2_MOST)
& does_address(R_47_9_DOES_ADDRESS,R_47_7_THE_MEMORANDUM,R_47_12_THE_MERITS)
& the_merits(R_47_12_THE_MERITS)
& attrib33(R_47_12_THE_MERITS,R_47_13_COMPETING)
& of(R_47_12_THE_MERITS,R_47_16_GOING)
& going(R_47_16_GOING,Z_47_A_UKSC_JUDGMENT_41)
& into_clr47(R_47_16_GOING,R_47_19_AND)
& and(R_47_19_AND)
& conj1(R_47_19_AND,R_47_18_RECESS)
& conj2(R_47_19_AND,R_47_20_PROROGATION)
& nim2(R_47_9_DOES_ADDRESS,R_47_1_PERHAPS)
& nim5(R_47_9_DOES_ADDRESS,R_47_3_TELLINGLY)
& tellingly(R_47_3_TELLINGLY)
& qual6(R_47_3_TELLINGLY,R_47_2_MOST)
& of(R_47_3_TELLINGLY,Z_47_A_UKSC_JUDGMENT_14) ) )
& ~ ? [R_47_9_DOES_ADDRESS,R_47_7_THE_MEMORANDUM,R_47_12_THE_MERITS,R_47_13_COMPETING,R_47_16_GOING,Z_47_A_UKSC_JUDGMENT_41,R_47_19_AND,R_47_18_RECESS,R_47_20_PROROGATION,R_47_1_PERHAPS,R_47_3_TELLINGLY,R_47_2_MOST,Z_47_A_UKSC_JUDGMENT_14] :
( the_memorandum(R_47_7_THE_MEMORANDUM)
& competing(R_47_13_COMPETING)
& recess(R_47_18_RECESS)
& prorogation(R_47_20_PROROGATION)
& perhaps(R_47_1_PERHAPS)
& most(R_47_2_MOST)
& does_address(R_47_9_DOES_ADDRESS,R_47_7_THE_MEMORANDUM,R_47_12_THE_MERITS)
& the_merits(R_47_12_THE_MERITS)
& attrib33(R_47_12_THE_MERITS,R_47_13_COMPETING)
& of(R_47_12_THE_MERITS,R_47_16_GOING)
& going(R_47_16_GOING,Z_47_A_UKSC_JUDGMENT_41)
& into_clr47(R_47_16_GOING,R_47_19_AND)
& and(R_47_19_AND)
& conj1(R_47_19_AND,R_47_18_RECESS)
& conj2(R_47_19_AND,R_47_20_PROROGATION)
& nim2(R_47_9_DOES_ADDRESS,R_47_1_PERHAPS)
& nim5(R_47_9_DOES_ADDRESS,R_47_3_TELLINGLY)
& tellingly(R_47_3_TELLINGLY)
& qual6(R_47_3_TELLINGLY,R_47_2_MOST)
& of(R_47_3_TELLINGLY,Z_47_A_UKSC_JUDGMENT_14) ) ) ).
( (IP-MAT (ADVP-NIM (ADV Perhaps;{perhaps}))
(ADVP-NIM (ADVP (ADVS most;{most}))
(ADV tellingly;{tellingly})
(PP (P-ROLE of;{of})
(NP (Q;_nphd_ all;{all}))))
(PUNC ,)
(NP-SBJ;{MEMORANDUM} (D the;{the})
(N memorandum;{memorandum}))
(DOP does;{do})
(NEG not;{not})
(VB;_Tn_ address;{address})
(NP-OB1 (D the;{the})
(ADJP (ADJ competing;{competing}))
(NS merits;{merit})
(PP (P-ROLE of;{of})
(IP-PPL (VAG;_Ipr_ going;{go[into]})
(PP-CLR (P-ROLE into;{into})
(NP;{RECESS_PROROGATION} (NLYR (NLYR (N recess;{recess}))
(CONJP (CONJ and;{and})
(NLYR (N prorogation;{prorogation})))))))))
(PUNC .))
(ID 47_a_uksc_judgment))