32_a_uksc_judgment
But a typical time is four to six days.
( (IP-MAT (CONJ;_cl_ But;{but})
(NP-SBJ (D a;{a})
(ADJP (ADJ typical;{typical}))
(N time;{time}))
(BEP;_Ln_ is;{be})
(NP-PRD (NUM four;{four})
(PP (P-ROLE to;{to})
(NP (NUM six;{six})))
(NS days;{day}))
(PUNC .))
(ID 32_a_uksc_judgment))
arc(r_0032_0002__a_r_0032_0004__time,r_0032_0003__typical,attrib).
arc(r_0032_0005__is,r_0032_0002__a_r_0032_0004__time,arg0).
arc(r_0032_0005__is,r_0032_0006__four_r_0032_0009__days,prd).
arc(r_0032_0006__four_r_0032_0009__days,r_0032_0008__six,r_0032_0007__to).
fof(formula,axiom,
? [R_0032_0003__TYPICAL,R_0032_0002__A_R_0032_0004__TIME,R_0032_0008__SIX,R_0032_0006__FOUR_R_0032_0009__DAYS,R_0032_0005__IS] :
( r_0032_0003__typical(R_0032_0003__TYPICAL)
& r_0032_0008__six(R_0032_0008__SIX)
& r_0032_0005__is(R_0032_0005__IS)
& has_prd(R_0032_0005__IS,R_0032_0006__FOUR_R_0032_0009__DAYS)
& r_0032_0006__four_r_0032_0009__days(R_0032_0006__FOUR_R_0032_0009__DAYS)
& has_r_0032_0007__to(R_0032_0006__FOUR_R_0032_0009__DAYS,R_0032_0008__SIX)
& has_arg0(R_0032_0005__IS,R_0032_0002__A_R_0032_0004__TIME)
& r_0032_0002__a_r_0032_0004__time(R_0032_0002__A_R_0032_0004__TIME)
& has_attrib(R_0032_0002__A_R_0032_0004__TIME,R_0032_0003__TYPICAL) ) ).