42_a_beeton_1861
Wine so laid in will be ready for use according to its quality and age.
( (IP-MAT (NP-SBJ;{WINE} (N Wine;{wine})
(IP-PPL (NP-LGS *)
(ADVP-NIM (ADV so;{so}))
(VVN;__ laid;{lay})
(RP in;{in})))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (BE;_La_ be;{be})
(ADJP-PRD (ADJ ready;{ready})
(PP (P-ROLE for;{for})
(NP (N use;{use}))))
(PP-NIM (P-ROLE according_to;{according_to})
(NP (NP-GEN;{WINE} (PRO;_genm_ its;{its}))
(NLYR (NLYR (N quality;{quality}))
(CONJP (CONJ and;{and})
(NLYR (N age;{age})))))))
(PUNC .))
(ID 42_a_beeton_1861;2170-1))
arc(r_0042_0003__laid_r_0042_0004__in,r_0042_0001__Wine,inv_arg1).
arc(r_0042_0003__laid_r_0042_0004__in,r_0042_0002__so,nim).
arc(r_0042_0003__laid_r_0042_0004__in,z_0042_5003___star_,arg0).
arc(r_0042_0005__will,r_0042_0006__be,scope).
arc(r_0042_0006__be,r_0042_0001__Wine,arg0).
arc(r_0042_0006__be,r_0042_0007__ready,prd).
arc(r_0042_0006__be,r_0042_0013__and,r_0042_0010__according_to__nim).
arc(r_0042_0007__ready,r_0042_0009__use,r_0042_0008__for).
arc(r_0042_0013__and,r_0042_0001__Wine,gen).
arc(r_0042_0013__and,r_0042_0012__quality,conj1).
arc(r_0042_0013__and,r_0042_0014__age,conj2).
fof(formula,axiom,
? [R_0042_0002__SO,Z_0042_5003___STAR_,R_0042_0003__LAID_R_0042_0004__IN,R_0042_0001__WINE,R_0042_0009__USE,R_0042_0007__READY,R_0042_0012__QUALITY,R_0042_0014__AGE,R_0042_0013__AND,R_0042_0005__WILL_R_0042_0006__BE] :
( r_0042_0002__so(R_0042_0002__SO)
& r_0042_0009__use(R_0042_0009__USE)
& r_0042_0012__quality(R_0042_0012__QUALITY)
& r_0042_0014__age(R_0042_0014__AGE)
& z_0042_5003___star_(Z_0042_5003___STAR_)
& r_0042_0005__will_r_0042_0006__be(R_0042_0005__WILL_R_0042_0006__BE)
& has_r_0042_0010__according_to__nim(R_0042_0005__WILL_R_0042_0006__BE,R_0042_0013__AND)
& r_0042_0013__and(R_0042_0013__AND)
& has_conj2(R_0042_0013__AND,R_0042_0014__AGE)
& has_conj1(R_0042_0013__AND,R_0042_0012__QUALITY)
& has_gen(R_0042_0013__AND,R_0042_0001__WINE)
& r_0042_0001__Wine(R_0042_0001__WINE)
& has_inv_arg1(R_0042_0001__WINE,R_0042_0003__LAID_R_0042_0004__IN)
& r_0042_0003__laid_r_0042_0004__in(R_0042_0003__LAID_R_0042_0004__IN)
& has_arg0(R_0042_0003__LAID_R_0042_0004__IN,Z_0042_5003___STAR_)
& has_nim(R_0042_0003__LAID_R_0042_0004__IN,R_0042_0002__SO)
& has_prd(R_0042_0005__WILL_R_0042_0006__BE,R_0042_0007__READY)
& r_0042_0007__ready(R_0042_0007__READY)
& has_r_0042_0008__for(R_0042_0007__READY,R_0042_0009__USE)
& has_arg0(R_0042_0005__WILL_R_0042_0006__BE,R_0042_0001__WINE) ) ).