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_000_38_A_UKSC_JUDGMENT_47,R_0038_0018__WHY,R_0038_0019__SO,R_0038_0020__LONG,Z_000_38_A_UKSC_JUDGMENT_58,Z_000_38_A_UKSC_JUDGMENT_68,R_0038_0021__WAS_R_0038_0022__NEEDED,R_0038_0009__NEW,R_0038_0008__A_R_0038_0010__SESSION,R_0038_0012__QUEEN_R_0038_0013___APOS_S,R_0038_0014__SPEECH,R_0038_0011__AND,Z_000_38_A_UKSC_JUDGMENT_73,R_0038_0023__TO_R_0038_0024__PREPARE,Z_000_38_A_UKSC_JUDGMENT_72] :
( ( r_0038_0009__new(R_0038_0009__NEW)
& r_0038_0012__Queen_r_0038_0013___apos_s(R_0038_0012__QUEEN_R_0038_0013___APOS_S)
& r_0038_0018__why(R_0038_0018__WHY)
& r_0038_0019__so(R_0038_0019__SO)
& z_000_38_a_uksc_judgment_68(Z_000_38_A_UKSC_JUDGMENT_68)
& z_000_38_a_uksc_judgment_73(Z_000_38_A_UKSC_JUDGMENT_73)
& z_000_38_a_uksc_judgment_47(Z_000_38_A_UKSC_JUDGMENT_47)
& has_r_0038_0017__about(Z_000_38_A_UKSC_JUDGMENT_47,Z_000_38_A_UKSC_JUDGMENT_72)
& z_000_38_a_uksc_judgment_72(Z_000_38_A_UKSC_JUDGMENT_72)
& has_conj1(Z_000_38_A_UKSC_JUDGMENT_72,R_0038_0023__TO_R_0038_0024__PREPARE)
& r_0038_0023__to_r_0038_0024__prepare(R_0038_0023__TO_R_0038_0024__PREPARE)
& has_arg0(R_0038_0023__TO_R_0038_0024__PREPARE,Z_000_38_A_UKSC_JUDGMENT_73)
& has_r_0038_0025__for_clr81(R_0038_0023__TO_R_0038_0024__PREPARE,R_0038_0011__AND)
& r_0038_0011__and(R_0038_0011__AND)
& has_conj2(R_0038_0011__AND,R_0038_0014__SPEECH)
& r_0038_0014__Speech(R_0038_0014__SPEECH)
& has_gen(R_0038_0014__SPEECH,R_0038_0012__QUEEN_R_0038_0013___APOS_S)
& has_conj1(R_0038_0011__AND,R_0038_0008__A_R_0038_0010__SESSION)
& r_0038_0008__a_r_0038_0010__session(R_0038_0008__A_R_0038_0010__SESSION)
& has_attrib28(R_0038_0008__A_R_0038_0010__SESSION,R_0038_0009__NEW)
& has_conj2(Z_000_38_A_UKSC_JUDGMENT_72,R_0038_0021__WAS_R_0038_0022__NEEDED)
& r_0038_0021__was_r_0038_0022__needed(R_0038_0021__WAS_R_0038_0022__NEEDED)
& has_arg0(R_0038_0021__WAS_R_0038_0022__NEEDED,Z_000_38_A_UKSC_JUDGMENT_68)
& has_arg1(R_0038_0021__WAS_R_0038_0022__NEEDED,Z_000_38_A_UKSC_JUDGMENT_58)
& z_000_38_a_uksc_judgment_58(Z_000_38_A_UKSC_JUDGMENT_58)
& has_attrib59(Z_000_38_A_UKSC_JUDGMENT_58,R_0038_0020__LONG)
& r_0038_0020__long(R_0038_0020__LONG)
& has_qual60(R_0038_0020__LONG,R_0038_0019__SO)
& has_nim55(R_0038_0021__WAS_R_0038_0022__NEEDED,R_0038_0018__WHY) )
=> ? [R_0038_0001__THE_R_0038_0002__MEMORANDUM,R_0038_0004__MUCH,Z_000_38_A_UKSC_JUDGMENT_15,R_0038_0005__TO_R_0038_0006__SAY,Z_000_38_A_UKSC_JUDGMENT_11,R_0038_0015__BUT,R_0038_0003__HAS] :
( r_0038_0001__The_r_0038_0002__memorandum(R_0038_0001__THE_R_0038_0002__MEMORANDUM)
& r_0038_0004__much(R_0038_0004__MUCH)
& z_000_38_a_uksc_judgment_15(Z_000_38_A_UKSC_JUDGMENT_15)
& r_0038_0003__has(R_0038_0003__HAS)
& has_arg1(R_0038_0003__HAS,R_0038_0015__BUT)
& r_0038_0015__but(R_0038_0015__BUT)
& has_conj2(R_0038_0015__BUT,Z_000_38_A_UKSC_JUDGMENT_47)
& has_conj1(R_0038_0015__BUT,Z_000_38_A_UKSC_JUDGMENT_11)
& z_000_38_a_uksc_judgment_11(Z_000_38_A_UKSC_JUDGMENT_11)
& has_emb15(Z_000_38_A_UKSC_JUDGMENT_11,R_0038_0005__TO_R_0038_0006__SAY)
& r_0038_0005__to_r_0038_0006__say(R_0038_0005__TO_R_0038_0006__SAY)
& has_arg0(R_0038_0005__TO_R_0038_0006__SAY,Z_000_38_A_UKSC_JUDGMENT_15)
& has_r_0038_0007__about_clr23(R_0038_0005__TO_R_0038_0006__SAY,R_0038_0011__AND)
& has_attrib12(Z_000_38_A_UKSC_JUDGMENT_11,R_0038_0004__MUCH)
& has_arg0(R_0038_0003__HAS,R_0038_0001__THE_R_0038_0002__MEMORANDUM) ) ) ).
( (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))