39_a_uksc_judgment
The only reason given for starting so soon was that “wash up” could be concluded within a few days.
( (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))
arc(r_0039_0001__The_r_0039_0003__reason,r_0039_0002__only,attrib).
arc(r_0039_0004__given,r_0039_0001__The_r_0039_0003__reason,inv_arg1).
arc(r_0039_0004__given,r_0039_0006__starting,r_0039_0005__for__nim).
arc(r_0039_0004__given,z_0039_5009___star_,arg0).
arc(r_0039_0006__starting,r_0039_0008__soon,nim).
arc(r_0039_0006__starting,z_0039_5005,arg0).
arc(r_0039_0008__soon,r_0039_0007__so,qual).
arc(r_0039_0009__was,r_0039_0001__The_r_0039_0003__reason,arg0).
arc(r_0039_0009__was,r_0039_0014__could,prd).
arc(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__nim).
arc(r_0039_0016__concluded,z_0039_5017___star_,arg0).
arc(r_0039_0018__a_r_0039_0020__days,r_0039_0019__few,attrib).
fof(formula,axiom,
? [R_0039_0002__ONLY,R_0039_0007__SO,R_0039_0008__SOON,Z_0039_5005,R_0039_0006__STARTING,Z_0039_5009___STAR_,R_0039_0004__GIVEN,R_0039_0001__THE_R_0039_0003__REASON,R_0039_0012__WASH_UP,R_0039_0019__FEW,R_0039_0018__A_R_0039_0020__DAYS,Z_0039_5017___STAR_,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_0039_5005(Z_0039_5005)
& z_0039_5009___star_(Z_0039_5009___STAR_)
& z_0039_5017___star_(Z_0039_5017___STAR_)
& r_0039_0009__was(R_0039_0009__WAS)
& has_prd(R_0039_0009__WAS,R_0039_0014__COULD_R_0039_0015__BE_R_0039_0016__CONCLUDED)
& r_0039_0014__could_r_0039_0015__be_r_0039_0016__concluded(R_0039_0014__COULD_R_0039_0015__BE_R_0039_0016__CONCLUDED)
& has_arg0(R_0039_0014__COULD_R_0039_0015__BE_R_0039_0016__CONCLUDED,Z_0039_5017___STAR_)
& has_r_0039_0017__within__nim(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_attrib(R_0039_0018__A_R_0039_0020__DAYS,R_0039_0019__FEW)
& has_arg1(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_inv_arg1(R_0039_0001__THE_R_0039_0003__REASON,R_0039_0004__GIVEN)
& r_0039_0004__given(R_0039_0004__GIVEN)
& has_arg0(R_0039_0004__GIVEN,Z_0039_5009___STAR_)
& has_r_0039_0005__for__nim(R_0039_0004__GIVEN,R_0039_0006__STARTING)
& r_0039_0006__starting(R_0039_0006__STARTING)
& has_arg0(R_0039_0006__STARTING,Z_0039_5005)
& has_nim(R_0039_0006__STARTING,R_0039_0008__SOON)
& r_0039_0008__soon(R_0039_0008__SOON)
& has_qual(R_0039_0008__SOON,R_0039_0007__SO)
& has_attrib(R_0039_0001__THE_R_0039_0003__REASON,R_0039_0002__ONLY) ) ).