29_a_uksc_judgment
But why did that need a prorogation of five weeks?
( (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))
arc(r_0029_0003__did_r_0029_0005__need,r_0029_0002__why,nim).
arc(r_0029_0003__did_r_0029_0005__need,r_0029_0004__that,arg0).
arc(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_0029_0002__WHY,R_0029_0004__THAT,R_0029_0009__FIVE_R_0029_0010__WEEKS,R_0029_0006__A_R_0029_0007__PROROGATION,R_0029_0003__DID_R_0029_0005__NEED] :
( r_0029_0002__why(R_0029_0002__WHY)
& r_0029_0004__that(R_0029_0004__THAT)
& r_0029_0009__five_r_0029_0010__weeks(R_0029_0009__FIVE_R_0029_0010__WEEKS)
& r_0029_0003__did_r_0029_0005__need(R_0029_0003__DID_R_0029_0005__NEED)
& has_arg1(R_0029_0003__DID_R_0029_0005__NEED,R_0029_0006__A_R_0029_0007__PROROGATION)
& r_0029_0006__a_r_0029_0007__prorogation(R_0029_0006__A_R_0029_0007__PROROGATION)
& has_r_0029_0008__of(R_0029_0006__A_R_0029_0007__PROROGATION,R_0029_0009__FIVE_R_0029_0010__WEEKS)
& has_arg0(R_0029_0003__DID_R_0029_0005__NEED,R_0029_0004__THAT)
& has_nim(R_0029_0003__DID_R_0029_0005__NEED,R_0029_0002__WHY) ) ).