29_a_uksc_judgment
But why did that need a prorogation of five weeks?
arc(r_0029_0001__But_r_0029_0003__did_r_0029_0005__need, r_0029_0002__why, nim5).
arc(r_0029_0001__But_r_0029_0003__did_r_0029_0005__need, r_0029_0004__that, arg0).
arc(r_0029_0001__But_r_0029_0003__did_r_0029_0005__need, r_0029_0006__a_r_0029_0007__prorogation, arg1).
arc(r_0029_0006__a_r_0029_0007__prorogation, r_0029_0009__five_r_0029_0010__weeks, r_0029_0008__of).
fof(formula,axiom,
? [R_29_1_BUT_DID_NEED,R_29_4_THAT,R_29_6_A_PROROGATION,R_29_9_FIVE_WEEKS,R_29_2_WHY] :
( that(R_29_4_THAT)
& five_weeks(R_29_9_FIVE_WEEKS)
& why(R_29_2_WHY)
& but_did_need(R_29_1_BUT_DID_NEED,R_29_4_THAT,R_29_6_A_PROROGATION)
& a_prorogation(R_29_6_A_PROROGATION)
& of(R_29_6_A_PROROGATION,R_29_9_FIVE_WEEKS)
& nim5(R_29_1_BUT_DID_NEED,R_29_2_WHY) ) ).
( (CP-QUE-MAT (IP-SUB (CONJ;_cl_ But;{but})
(ADVP-NIM (WADV why;{why}))
(DOD did;{do})
(NP-SBJ;{NEED} (D;_nphd_ that;{that}))
(VB;_Tn_ need;{need})
(NP-OB1 (D a;{a})
(N prorogation;{prorogation})
(PP (P-ROLE of;{of})
(NP (NUM five;{five})
(NS weeks;{week})))))
(PUNC ?))
(ID 29_a_uksc_judgment))