39_a_uksc_judgment
The only reason given for starting so soon was that “wash up” could be concluded within a few days.
arc(r_0039_0001__The_r_0039_0003__reason, r_0039_0002__only, attrib5).
arc(r_0039_0004__given, r_0039_0001__The_r_0039_0003__reason, arg1).
arc(r_0039_0004__given, r_0039_0006__starting, r_0039_0005__for_nim18).
arc(r_0039_0004__given, z_000_39_a_uksc_judgment_11, arg0).
arc(r_0039_0006__starting, r_0039_0008__soon, nim21).
arc(r_0039_0006__starting, z_000_39_a_uksc_judgment_18, arg0).
arc(r_0039_0008__soon, r_0039_0007__so, qual22).
arc(r_0039_0009__was, r_0039_0001__The_r_0039_0003__reason, arg0).
arc(r_0039_0009__was, r_0039_0010__that_r_0039_0014__could, prd).
arc(r_0039_0010__that_r_0039_0014__could, r_0039_0015__be, scope).
arc(r_0039_0015__be, r_0039_0016__concluded, scope).
arc(r_0039_0016__concluded, r_0039_0012__wash_up, arg1).
arc(r_0039_0016__concluded, r_0039_0018__a_r_0039_0020__days, r_0039_0017__within_nim53).
arc(r_0039_0016__concluded, z_000_39_a_uksc_judgment_46, arg0).
arc(r_0039_0018__a_r_0039_0020__days, r_0039_0019__few, attrib56).
fof(formula,axiom,
? [R_39_4_GIVEN,Z_39_A_UKSC_JUDGMENT_11,R_39_6_STARTING,Z_39_A_UKSC_JUDGMENT_18,R_39_8_SOON,R_39_7_SO,R_39_9_WAS,R_39_1_THE_REASON,R_39_2_ONLY,R_39_10_THAT_COULD_BE_CONCLUDED,Z_39_A_UKSC_JUDGMENT_46,R_39_12_WASH_UP,R_39_18_A_DAYS,R_39_19_FEW] :
( so(R_39_7_SO)
& only(R_39_2_ONLY)
& wash_up(R_39_12_WASH_UP)
& few(R_39_19_FEW)
& given(R_39_4_GIVEN,Z_39_A_UKSC_JUDGMENT_11,R_39_1_THE_REASON)
& the_reason(R_39_1_THE_REASON)
& attrib5(R_39_1_THE_REASON,R_39_2_ONLY)
& for_nim18(R_39_4_GIVEN,R_39_6_STARTING)
& starting(R_39_6_STARTING,Z_39_A_UKSC_JUDGMENT_18)
& nim21(R_39_6_STARTING,R_39_8_SOON)
& soon(R_39_8_SOON)
& qual22(R_39_8_SOON,R_39_7_SO)
& was(R_39_9_WAS,R_39_1_THE_REASON,R_39_10_THAT_COULD_BE_CONCLUDED)
& that_could_be_concluded(R_39_10_THAT_COULD_BE_CONCLUDED,Z_39_A_UKSC_JUDGMENT_46,R_39_12_WASH_UP)
& within_nim53(R_39_10_THAT_COULD_BE_CONCLUDED,R_39_18_A_DAYS)
& a_days(R_39_18_A_DAYS)
& attrib56(R_39_18_A_DAYS,R_39_19_FEW) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(ADJP (ADJ only;{only}))
(N reason;{reason})
(IP-PPL (NP-LGS *)
(VVN;_Tn.pr_ given;{give[for]})
(PP-NIM (P-ROLE for;{for})
(IP-PPL3 (VAG;_I_ starting;{start})
(ADVP-NIM (ADVP (ADV so;{so}))
(ADV soon;{soon}))))))
(BED;_equ_Vf_ was;{be})
(CP-THT-PRD (IP-SUB (C that;{that})
(PULQ <ldquo>)
(NP-SBJ (N wash_up;{wash_up}))
(PURQ <rdquo>)
(MD;_cat_Vi_ could;{can})
(IP-INF-CAT (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ concluded;{conclude})
(PP-NIM (P-ROLE within;{within})
(NP (D a;{a})
(ADJP (ADJ few;{few}))
(NS days;{day})))))))
(PUNC .))
(ID 39_a_uksc_judgment))