47_a_uksc_judgment
Perhaps most tellingly of all, the memorandum does not address the competing merits of going into recess and prorogation.
( (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))
arc(r_0047_0003__tellingly,r_0047_0002__most,qual).
arc(r_0047_0003__tellingly,z_0047_5006,r_0047_0004__of).
arc(r_0047_0005__all__quant,r_0047_0003__tellingly,scope).
arc(r_0047_0005__all__quant,z_0047_5006,restriction).
arc(r_0047_0009__does_r_0047_0011__address,r_0047_0001__Perhaps,nim).
arc(r_0047_0009__does_r_0047_0011__address,r_0047_0003__tellingly,nim).
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,attrib).
arc(r_0047_0012__the_r_0047_0014__merits,r_0047_0016__going_r_0047_0017__into,r_0047_0015__of).
arc(r_0047_0016__going_r_0047_0017__into,r_0047_0019__and,arg1).
arc(r_0047_0016__going_r_0047_0017__into,z_0047_5012,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_0047_5006,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_0047_5012,R_0047_0016__GOING_R_0047_0017__INTO,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_0047_5006(Z_0047_5006)
& z_0047_5012(Z_0047_5012)
& 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_0017__INTO)
& r_0047_0016__going_r_0047_0017__into(R_0047_0016__GOING_R_0047_0017__INTO)
& has_arg0(R_0047_0016__GOING_R_0047_0017__INTO,Z_0047_5012)
& has_arg1(R_0047_0016__GOING_R_0047_0017__INTO,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_attrib(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_nim(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_0047_5006)
& has_qual(R_0047_0003__TELLINGLY,R_0047_0002__MOST)
& has_nim(R_0047_0009__DOES_R_0047_0011__ADDRESS,R_0047_0001__PERHAPS) )
& ! [Z_0047_5006] :
( z_0047_5006(Z_0047_5006)
=> ? [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_0047_5012,R_0047_0016__GOING_R_0047_0017__INTO,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_0047_5012(Z_0047_5012)
& 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_0017__INTO)
& r_0047_0016__going_r_0047_0017__into(R_0047_0016__GOING_R_0047_0017__INTO)
& has_arg0(R_0047_0016__GOING_R_0047_0017__INTO,Z_0047_5012)
& has_arg1(R_0047_0016__GOING_R_0047_0017__INTO,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_attrib(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_nim(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_0047_5006)
& has_qual(R_0047_0003__TELLINGLY,R_0047_0002__MOST)
& has_nim(R_0047_0009__DOES_R_0047_0011__ADDRESS,R_0047_0001__PERHAPS) ) ) ) ).