38_a_uksc_judgment
The memorandum has much to say about a new session and Queen's Speech but nothing about why so long was needed to prepare for it.
arc(r_0038_0003__has, r_0038_0001__The_r_0038_0002__memorandum, arg0).
arc(r_0038_0003__has, r_0038_0015__but, arg1).
arc(r_0038_0005__to_r_0038_0006__say, r_0038_0011__and, r_0038_0007__about_clr23).
arc(r_0038_0005__to_r_0038_0006__say, z_000_38_a_uksc_judgment_15, arg0).
arc(r_0038_0008__a_r_0038_0010__session, r_0038_0009__new, attrib28).
arc(r_0038_0011__and, r_0038_0008__a_r_0038_0010__session, conj1).
arc(r_0038_0011__and, r_0038_0014__Speech, conj2).
arc(r_0038_0014__Speech, r_0038_0012__Queen_r_0038_0013___apos_s, gen).
arc(r_0038_0015__but, z_000_38_a_uksc_judgment_11, conj1).
arc(r_0038_0015__but, z_000_38_a_uksc_judgment_47, conj2).
arc(r_0038_0016__nothing_quant, r_0038_0015__but, scope).
arc(r_0038_0016__nothing_quant, z_000_38_a_uksc_judgment_47, restriction).
arc(r_0038_0020__long, r_0038_0019__so, qual60).
arc(r_0038_0021__was, r_0038_0018__why, nim55).
arc(r_0038_0021__was, r_0038_0022__needed, scope).
arc(r_0038_0022__needed, z_000_38_a_uksc_judgment_58, arg1).
arc(r_0038_0022__needed, z_000_38_a_uksc_judgment_68, arg0).
arc(r_0038_0023__to_r_0038_0024__prepare, r_0038_0011__and, r_0038_0025__for_clr81).
arc(r_0038_0023__to_r_0038_0024__prepare, z_000_38_a_uksc_judgment_73, arg0).
arc(z_000_38_a_uksc_judgment_11, r_0038_0004__much, attrib12).
arc(z_000_38_a_uksc_judgment_11, r_0038_0005__to_r_0038_0006__say, emb15).
arc(z_000_38_a_uksc_judgment_47, z_000_38_a_uksc_judgment_72, r_0038_0017__about).
arc(z_000_38_a_uksc_judgment_58, r_0038_0020__long, attrib59).
arc(z_000_38_a_uksc_judgment_72, r_0038_0021__was, scope).
arc(z_000_38_a_uksc_judgment_72, r_0038_0023__to_r_0038_0024__prepare, restriction).
fof(formula,axiom,
! [Z_38_A_UKSC_JUDGMENT_47,Z_38_A_UKSC_JUDGMENT_72,R_38_23_TO_PREPARE,Z_38_A_UKSC_JUDGMENT_73,R_38_11_AND,R_38_8_A_SESSION,R_38_9_NEW,R_38_14_SPEECH,R_38_12_QUEEN_APOS_S,R_38_21_WAS_NEEDED,Z_38_A_UKSC_JUDGMENT_68,Z_38_A_UKSC_JUDGMENT_58,R_38_20_LONG,R_38_19_SO,R_38_18_WHY] :
( ( new(R_38_9_NEW)
& queen_apos_s(R_38_12_QUEEN_APOS_S)
& so(R_38_19_SO)
& why(R_38_18_WHY)
& z_38_a_uksc_judgment_47(Z_38_A_UKSC_JUDGMENT_47)
& about(Z_38_A_UKSC_JUDGMENT_47,Z_38_A_UKSC_JUDGMENT_72)
& z_38_a_uksc_judgment_72(Z_38_A_UKSC_JUDGMENT_72)
& conj1(Z_38_A_UKSC_JUDGMENT_72,R_38_23_TO_PREPARE)
& to_prepare(R_38_23_TO_PREPARE,Z_38_A_UKSC_JUDGMENT_73)
& for_clr81(R_38_23_TO_PREPARE,R_38_11_AND)
& and(R_38_11_AND)
& conj1(R_38_11_AND,R_38_8_A_SESSION)
& a_session(R_38_8_A_SESSION)
& attrib28(R_38_8_A_SESSION,R_38_9_NEW)
& conj2(R_38_11_AND,R_38_14_SPEECH)
& speech(R_38_14_SPEECH)
& gen(R_38_14_SPEECH,R_38_12_QUEEN_APOS_S)
& conj2(Z_38_A_UKSC_JUDGMENT_72,R_38_21_WAS_NEEDED)
& was_needed(R_38_21_WAS_NEEDED,Z_38_A_UKSC_JUDGMENT_68,Z_38_A_UKSC_JUDGMENT_58)
& z_38_a_uksc_judgment_58(Z_38_A_UKSC_JUDGMENT_58)
& attrib59(Z_38_A_UKSC_JUDGMENT_58,R_38_20_LONG)
& long(R_38_20_LONG)
& qual60(R_38_20_LONG,R_38_19_SO)
& nim55(R_38_21_WAS_NEEDED,R_38_18_WHY) )
=> ? [R_38_3_HAS,R_38_1_THE_MEMORANDUM,R_38_15_BUT,Z_38_A_UKSC_JUDGMENT_11,R_38_4_MUCH,R_38_5_TO_SAY,Z_38_A_UKSC_JUDGMENT_15] :
( the_memorandum(R_38_1_THE_MEMORANDUM)
& much(R_38_4_MUCH)
& has(R_38_3_HAS,R_38_1_THE_MEMORANDUM,R_38_15_BUT)
& but(R_38_15_BUT)
& conj1(R_38_15_BUT,Z_38_A_UKSC_JUDGMENT_11)
& z_38_a_uksc_judgment_11(Z_38_A_UKSC_JUDGMENT_11)
& attrib12(Z_38_A_UKSC_JUDGMENT_11,R_38_4_MUCH)
& emb15(Z_38_A_UKSC_JUDGMENT_11,R_38_5_TO_SAY)
& to_say(R_38_5_TO_SAY,Z_38_A_UKSC_JUDGMENT_15)
& about_clr23(R_38_5_TO_SAY,R_38_11_AND)
& conj2(R_38_15_BUT,Z_38_A_UKSC_JUDGMENT_47) ) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(N memorandum;{memorandum}))
(HVP;_Tn_ has;{have})
(NP-OB1 (NLYR (NLYR (ADJP (ADJ much;{much}))
(IP-INF (TO to;{to})
(VB;_Ipr_ say;{say[about]})
(PP-CLR (P-ROLE about;{about})
(NP;{SESSION_SPEECH} (NLYR (NLYR (D a;{a})
(ADJP (ADJ new;{new}))
(N session;{session}))
(CONJP (CONJ and;{and})
(NLYR (NP-GEN (N Queen;{queen})
(GENM <apos>s))
(N Speech;{speech}))))))))
(CONJP (CONJ but;{but})
(NLYR (Q;_nphd_ nothing;{nothing})
(PP (P-ROLE about;{about})
(CP-QUE (IP-SUB (ADVP-NIM (WADV why;{why}))
(NP-SBJ (ADJP (ADVP (ADV so;{so}))
(ADJ long;{long})))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ needed;{need}))
(PP-SCON (IP-INF3 (TO to;{to})
(VB;_Ipr_ prepare;{prepare[for]})
(PP-CLR (P-ROLE for;{for})
(NP;{SESSION_SPEECH} (PRO it;{it}))))))))))))
(PUNC .))
(ID 38_a_uksc_judgment))