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_0039_0002__ONLY,R_0039_0001__THE_R_0039_0003__REASON,R_0039_0007__SO,R_0039_0008__SOON,Z_000_39_A_UKSC_JUDGMENT_18,R_0039_0006__STARTING,Z_000_39_A_UKSC_JUDGMENT_11,R_0039_0004__GIVEN,R_0039_0012__WASH_UP,R_0039_0019__FEW,R_0039_0018__A_R_0039_0020__DAYS,Z_000_39_A_UKSC_JUDGMENT_46,R_0039_0010__THAT_R_0039_0014__COULD_R_0039_0015__BE_R_0039_0016__CONCLUDED,R_0039_0009__WAS] :
( r_0039_0002__only(R_0039_0002__ONLY)
& r_0039_0007__so(R_0039_0007__SO)
& r_0039_0012__wash_up(R_0039_0012__WASH_UP)
& r_0039_0019__few(R_0039_0019__FEW)
& z_000_39_a_uksc_judgment_11(Z_000_39_A_UKSC_JUDGMENT_11)
& z_000_39_a_uksc_judgment_18(Z_000_39_A_UKSC_JUDGMENT_18)
& z_000_39_a_uksc_judgment_46(Z_000_39_A_UKSC_JUDGMENT_46)
& r_0039_0009__was(R_0039_0009__WAS)
& has_prd(R_0039_0009__WAS,R_0039_0010__THAT_R_0039_0014__COULD_R_0039_0015__BE_R_0039_0016__CONCLUDED)
& r_0039_0010__that_r_0039_0014__could_r_0039_0015__be_r_0039_0016__concluded(R_0039_0010__THAT_R_0039_0014__COULD_R_0039_0015__BE_R_0039_0016__CONCLUDED)
& has_arg0(R_0039_0010__THAT_R_0039_0014__COULD_R_0039_0015__BE_R_0039_0016__CONCLUDED,Z_000_39_A_UKSC_JUDGMENT_46)
& has_r_0039_0017__within_nim53(R_0039_0010__THAT_R_0039_0014__COULD_R_0039_0015__BE_R_0039_0016__CONCLUDED,R_0039_0018__A_R_0039_0020__DAYS)
& r_0039_0018__a_r_0039_0020__days(R_0039_0018__A_R_0039_0020__DAYS)
& has_attrib56(R_0039_0018__A_R_0039_0020__DAYS,R_0039_0019__FEW)
& has_arg1(R_0039_0010__THAT_R_0039_0014__COULD_R_0039_0015__BE_R_0039_0016__CONCLUDED,R_0039_0012__WASH_UP)
& has_arg0(R_0039_0009__WAS,R_0039_0001__THE_R_0039_0003__REASON)
& r_0039_0001__The_r_0039_0003__reason(R_0039_0001__THE_R_0039_0003__REASON)
& has_attrib5(R_0039_0001__THE_R_0039_0003__REASON,R_0039_0002__ONLY)
& r_0039_0004__given(R_0039_0004__GIVEN)
& has_arg0(R_0039_0004__GIVEN,Z_000_39_A_UKSC_JUDGMENT_11)
& has_r_0039_0005__for_nim18(R_0039_0004__GIVEN,R_0039_0006__STARTING)
& r_0039_0006__starting(R_0039_0006__STARTING)
& has_arg0(R_0039_0006__STARTING,Z_000_39_A_UKSC_JUDGMENT_18)
& has_nim21(R_0039_0006__STARTING,R_0039_0008__SOON)
& r_0039_0008__soon(R_0039_0008__SOON)
& has_qual22(R_0039_0008__SOON,R_0039_0007__SO)
& has_arg1(R_0039_0004__GIVEN,R_0039_0001__THE_R_0039_0003__REASON) ) ).
( (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))