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,
( ~ ? [R_0047_0001__PERHAPS,R_0047_0002__MOST,Z_000_47_A_UKSC_JUDGMENT_14,R_0047_0003__TELLINGLY,R_0047_0007__THE_R_0047_0008__MEMORANDUM,R_0047_0013__COMPETING,R_0047_0018__RECESS,R_0047_0020__PROROGATION,R_0047_0019__AND,Z_000_47_A_UKSC_JUDGMENT_41,R_0047_0016__GOING,R_0047_0012__THE_R_0047_0014__MERITS,R_0047_0009__DOES_R_0047_0011__ADDRESS] :
( r_0047_0001__Perhaps(R_0047_0001__PERHAPS)
& r_0047_0002__most(R_0047_0002__MOST)
& r_0047_0007__the_r_0047_0008__memorandum(R_0047_0007__THE_R_0047_0008__MEMORANDUM)
& r_0047_0013__competing(R_0047_0013__COMPETING)
& r_0047_0018__recess(R_0047_0018__RECESS)
& r_0047_0020__prorogation(R_0047_0020__PROROGATION)
& z_000_47_a_uksc_judgment_14(Z_000_47_A_UKSC_JUDGMENT_14)
& z_000_47_a_uksc_judgment_41(Z_000_47_A_UKSC_JUDGMENT_41)
& r_0047_0009__does_r_0047_0011__address(R_0047_0009__DOES_R_0047_0011__ADDRESS)
& has_arg1(R_0047_0009__DOES_R_0047_0011__ADDRESS,R_0047_0012__THE_R_0047_0014__MERITS)
& r_0047_0012__the_r_0047_0014__merits(R_0047_0012__THE_R_0047_0014__MERITS)
& has_r_0047_0015__of(R_0047_0012__THE_R_0047_0014__MERITS,R_0047_0016__GOING)
& r_0047_0016__going(R_0047_0016__GOING)
& has_arg0(R_0047_0016__GOING,Z_000_47_A_UKSC_JUDGMENT_41)
& has_r_0047_0017__into_clr47(R_0047_0016__GOING,R_0047_0019__AND)
& r_0047_0019__and(R_0047_0019__AND)
& has_conj2(R_0047_0019__AND,R_0047_0020__PROROGATION)
& has_conj1(R_0047_0019__AND,R_0047_0018__RECESS)
& has_attrib33(R_0047_0012__THE_R_0047_0014__MERITS,R_0047_0013__COMPETING)
& has_arg0(R_0047_0009__DOES_R_0047_0011__ADDRESS,R_0047_0007__THE_R_0047_0008__MEMORANDUM)
& has_nim5(R_0047_0009__DOES_R_0047_0011__ADDRESS,R_0047_0003__TELLINGLY)
& r_0047_0003__tellingly(R_0047_0003__TELLINGLY)
& has_r_0047_0004__of(R_0047_0003__TELLINGLY,Z_000_47_A_UKSC_JUDGMENT_14)
& has_qual6(R_0047_0003__TELLINGLY,R_0047_0002__MOST)
& has_nim2(R_0047_0009__DOES_R_0047_0011__ADDRESS,R_0047_0001__PERHAPS) )
& ! [Z_000_47_A_UKSC_JUDGMENT_14] :
( z_000_47_a_uksc_judgment_14(Z_000_47_A_UKSC_JUDGMENT_14)
=> ? [R_0047_0001__PERHAPS,R_0047_0002__MOST,R_0047_0003__TELLINGLY,R_0047_0007__THE_R_0047_0008__MEMORANDUM,R_0047_0013__COMPETING,R_0047_0018__RECESS,R_0047_0020__PROROGATION,R_0047_0019__AND,Z_000_47_A_UKSC_JUDGMENT_41,R_0047_0016__GOING,R_0047_0012__THE_R_0047_0014__MERITS,R_0047_0009__DOES_R_0047_0011__ADDRESS] :
( r_0047_0001__Perhaps(R_0047_0001__PERHAPS)
& r_0047_0002__most(R_0047_0002__MOST)
& r_0047_0007__the_r_0047_0008__memorandum(R_0047_0007__THE_R_0047_0008__MEMORANDUM)
& r_0047_0013__competing(R_0047_0013__COMPETING)
& r_0047_0018__recess(R_0047_0018__RECESS)
& r_0047_0020__prorogation(R_0047_0020__PROROGATION)
& z_000_47_a_uksc_judgment_41(Z_000_47_A_UKSC_JUDGMENT_41)
& r_0047_0009__does_r_0047_0011__address(R_0047_0009__DOES_R_0047_0011__ADDRESS)
& has_arg1(R_0047_0009__DOES_R_0047_0011__ADDRESS,R_0047_0012__THE_R_0047_0014__MERITS)
& r_0047_0012__the_r_0047_0014__merits(R_0047_0012__THE_R_0047_0014__MERITS)
& has_r_0047_0015__of(R_0047_0012__THE_R_0047_0014__MERITS,R_0047_0016__GOING)
& r_0047_0016__going(R_0047_0016__GOING)
& has_arg0(R_0047_0016__GOING,Z_000_47_A_UKSC_JUDGMENT_41)
& has_r_0047_0017__into_clr47(R_0047_0016__GOING,R_0047_0019__AND)
& r_0047_0019__and(R_0047_0019__AND)
& has_conj2(R_0047_0019__AND,R_0047_0020__PROROGATION)
& has_conj1(R_0047_0019__AND,R_0047_0018__RECESS)
& has_attrib33(R_0047_0012__THE_R_0047_0014__MERITS,R_0047_0013__COMPETING)
& has_arg0(R_0047_0009__DOES_R_0047_0011__ADDRESS,R_0047_0007__THE_R_0047_0008__MEMORANDUM)
& has_nim5(R_0047_0009__DOES_R_0047_0011__ADDRESS,R_0047_0003__TELLINGLY)
& r_0047_0003__tellingly(R_0047_0003__TELLINGLY)
& has_r_0047_0004__of(R_0047_0003__TELLINGLY,Z_000_47_A_UKSC_JUDGMENT_14)
& has_qual6(R_0047_0003__TELLINGLY,R_0047_0002__MOST)
& has_nim2(R_0047_0009__DOES_R_0047_0011__ADDRESS,R_0047_0001__PERHAPS) ) ) ) ).
( (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))