Context                Previous, Next                Top


45_a_beeton_1861
Wine so laid in will be ready for use according to its quality and age.

%3 r_0045_0003__laid_r_0045_0004__in laid in r_0045_0001__Wine Wine r_0045_0003__laid_r_0045_0004__in->r_0045_0001__Wine [arg1] r_0045_0002__so so r_0045_0003__laid_r_0045_0004__in->r_0045_0002__so [nim] z_000_45_a_beeton_1861_6 r_0045_0003__laid_r_0045_0004__in->z_000_45_a_beeton_1861_6 [arg0] r_0045_0005__will will r_0045_0006__be be r_0045_0005__will->r_0045_0006__be [scope] r_0045_0006__be->r_0045_0001__Wine [arg0] r_0045_0007__ready ready r_0045_0006__be->r_0045_0007__ready [prd] r_0045_0013__and and r_0045_0006__be->r_0045_0013__and according to [nim] r_0045_0009__use use r_0045_0007__ready->r_0045_0009__use for r_0045_0013__and->r_0045_0001__Wine [gen] r_0045_0012__quality quality r_0045_0013__and->r_0045_0012__quality [conj1] r_0045_0014__age age r_0045_0013__and->r_0045_0014__age [conj2] 
arc(r_0045_0003__laid_r_0045_0004__in, r_0045_0001__Wine, arg1).
arc(r_0045_0003__laid_r_0045_0004__in, r_0045_0002__so, nim8).
arc(r_0045_0003__laid_r_0045_0004__in, z_000_45_a_beeton_1861_6, arg0).
arc(r_0045_0005__will, r_0045_0006__be, scope).
arc(r_0045_0006__be, r_0045_0001__Wine, arg0).
arc(r_0045_0006__be, r_0045_0007__ready, prd).
arc(r_0045_0006__be, r_0045_0013__and, r_0045_0010__according_to_nim32).
arc(r_0045_0007__ready, r_0045_0009__use, r_0045_0008__for).
arc(r_0045_0013__and, r_0045_0001__Wine, gen).
arc(r_0045_0013__and, r_0045_0012__quality, conj1).
arc(r_0045_0013__and, r_0045_0014__age, conj2).


%3 r_0045_0013__and and r_0045_0014__age age r_0045_0013__and->r_0045_0014__age [conj2] r_0045_0012__quality quality r_0045_0013__and->r_0045_0012__quality [conj1] r_0045_0001__Wine Wine r_0045_0013__and->r_0045_0001__Wine [gen] r_0045_0007__ready ready r_0045_0009__use use r_0045_0007__ready->r_0045_0009__use for r_0045_0005__will_r_0045_0006__be will be r_0045_0005__will_r_0045_0006__be->r_0045_0013__and according to [nim] r_0045_0005__will_r_0045_0006__be->r_0045_0001__Wine [arg0] r_0045_0005__will_r_0045_0006__be->r_0045_0007__ready [prd] r_0045_0003__laid_r_0045_0004__in laid in r_0045_0003__laid_r_0045_0004__in->r_0045_0001__Wine [arg1] z_000_45_a_beeton_1861_6 r_0045_0003__laid_r_0045_0004__in->z_000_45_a_beeton_1861_6 [arg0] r_0045_0002__so so r_0045_0003__laid_r_0045_0004__in->r_0045_0002__so [nim] 
fof(formula,axiom,
    ? [R_0045_0001__WINE,R_0045_0002__SO,Z_000_45_A_BEETON_1861_6,R_0045_0003__LAID_R_0045_0004__IN,R_0045_0009__USE,R_0045_0007__READY,R_0045_0012__QUALITY,R_0045_0014__AGE,R_0045_0013__AND,R_0045_0005__WILL_R_0045_0006__BE] :
      ( r_0045_0001__Wine(R_0045_0001__WINE)
      & r_0045_0002__so(R_0045_0002__SO)
      & r_0045_0009__use(R_0045_0009__USE)
      & r_0045_0012__quality(R_0045_0012__QUALITY)
      & r_0045_0014__age(R_0045_0014__AGE)
      & z_000_45_a_beeton_1861_6(Z_000_45_A_BEETON_1861_6)
      & r_0045_0005__will_r_0045_0006__be(R_0045_0005__WILL_R_0045_0006__BE)
      & has_r_0045_0010__according_to_nim32(R_0045_0005__WILL_R_0045_0006__BE,R_0045_0013__AND)
      & r_0045_0013__and(R_0045_0013__AND)
      & has_conj2(R_0045_0013__AND,R_0045_0014__AGE)
      & has_conj1(R_0045_0013__AND,R_0045_0012__QUALITY)
      & has_gen(R_0045_0013__AND,R_0045_0001__WINE)
      & has_prd(R_0045_0005__WILL_R_0045_0006__BE,R_0045_0007__READY)
      & r_0045_0007__ready(R_0045_0007__READY)
      & has_r_0045_0008__for(R_0045_0007__READY,R_0045_0009__USE)
      & has_arg0(R_0045_0005__WILL_R_0045_0006__BE,R_0045_0001__WINE)
      & r_0045_0003__laid_r_0045_0004__in(R_0045_0003__LAID_R_0045_0004__IN)
      & has_arg0(R_0045_0003__LAID_R_0045_0004__IN,Z_000_45_A_BEETON_1861_6)
      & has_nim8(R_0045_0003__LAID_R_0045_0004__IN,R_0045_0002__SO)
      & has_arg1(R_0045_0003__LAID_R_0045_0004__IN,R_0045_0001__WINE) ) ).


n45_a_beeton_1861 n45_a_beeton_1861__1_1_1_1 Wine n45_a_beeton_1861__1_1_2_1_1 * n45_a_beeton_1861__1_1_2_2_1_1 so n45_a_beeton_1861__1_1_2_3_1 laid n45_a_beeton_1861__1_1_2_4_1 in n45_a_beeton_1861__1_2_1 will n45_a_beeton_1861__1_3_1_1 be n45_a_beeton_1861__1_3_2_1_1 ready n45_a_beeton_1861__1_3_2_2_1_1 for n45_a_beeton_1861__1_3_2_2_2_1_1 use n45_a_beeton_1861__1_3_3_1_1 according_to n45_a_beeton_1861__1_3_3_2_1_1_1 its n45_a_beeton_1861__1_3_3_2_2_1_1_1 quality n45_a_beeton_1861__1_3_3_2_2_2_1_1 and n45_a_beeton_1861__1_3_3_2_2_2_2_1_1 age n45_a_beeton_1861__1_4_1 . n45_a_beeton_1861__1 IP-MAT n45_a_beeton_1861__1_1 NP-SBJ n45_a_beeton_1861__1->n45_a_beeton_1861__1_1 n45_a_beeton_1861__1_2 MD;_cat_Vi_ n45_a_beeton_1861__1->n45_a_beeton_1861__1_2 n45_a_beeton_1861__1_3 IP-INF-CAT n45_a_beeton_1861__1->n45_a_beeton_1861__1_3 n45_a_beeton_1861__1_4 PUNC n45_a_beeton_1861__1->n45_a_beeton_1861__1_4 n45_a_beeton_1861__1_1_1 N n45_a_beeton_1861__1_1->n45_a_beeton_1861__1_1_1 n45_a_beeton_1861__1_1_2 IP-PPL n45_a_beeton_1861__1_1->n45_a_beeton_1861__1_1_2 n45_a_beeton_1861__1_1_1->n45_a_beeton_1861__1_1_1_1 n45_a_beeton_1861__1_1_2_1 NP-LGS n45_a_beeton_1861__1_1_2->n45_a_beeton_1861__1_1_2_1 n45_a_beeton_1861__1_1_2_2 ADVP-NIM n45_a_beeton_1861__1_1_2->n45_a_beeton_1861__1_1_2_2 n45_a_beeton_1861__1_1_2_3 VVN;__ n45_a_beeton_1861__1_1_2->n45_a_beeton_1861__1_1_2_3 n45_a_beeton_1861__1_1_2_4 RP n45_a_beeton_1861__1_1_2->n45_a_beeton_1861__1_1_2_4 n45_a_beeton_1861__1_1_2_1->n45_a_beeton_1861__1_1_2_1_1 n45_a_beeton_1861__1_1_2_2_1 ADV n45_a_beeton_1861__1_1_2_2->n45_a_beeton_1861__1_1_2_2_1 n45_a_beeton_1861__1_1_2_2_1->n45_a_beeton_1861__1_1_2_2_1_1 n45_a_beeton_1861__1_1_2_3->n45_a_beeton_1861__1_1_2_3_1 n45_a_beeton_1861__1_1_2_4->n45_a_beeton_1861__1_1_2_4_1 n45_a_beeton_1861__1_2->n45_a_beeton_1861__1_2_1 n45_a_beeton_1861__1_3_1 BE;_La_ n45_a_beeton_1861__1_3->n45_a_beeton_1861__1_3_1 n45_a_beeton_1861__1_3_2 ADJP-PRD n45_a_beeton_1861__1_3->n45_a_beeton_1861__1_3_2 n45_a_beeton_1861__1_3_3 PP-NIM n45_a_beeton_1861__1_3->n45_a_beeton_1861__1_3_3 n45_a_beeton_1861__1_3_1->n45_a_beeton_1861__1_3_1_1 n45_a_beeton_1861__1_3_2_1 ADJ n45_a_beeton_1861__1_3_2->n45_a_beeton_1861__1_3_2_1 n45_a_beeton_1861__1_3_2_2 PP n45_a_beeton_1861__1_3_2->n45_a_beeton_1861__1_3_2_2 n45_a_beeton_1861__1_3_2_1->n45_a_beeton_1861__1_3_2_1_1 n45_a_beeton_1861__1_3_2_2_1 P-ROLE n45_a_beeton_1861__1_3_2_2->n45_a_beeton_1861__1_3_2_2_1 n45_a_beeton_1861__1_3_2_2_2 NP n45_a_beeton_1861__1_3_2_2->n45_a_beeton_1861__1_3_2_2_2 n45_a_beeton_1861__1_3_2_2_1->n45_a_beeton_1861__1_3_2_2_1_1 n45_a_beeton_1861__1_3_2_2_2_1 N n45_a_beeton_1861__1_3_2_2_2->n45_a_beeton_1861__1_3_2_2_2_1 n45_a_beeton_1861__1_3_2_2_2_1->n45_a_beeton_1861__1_3_2_2_2_1_1 n45_a_beeton_1861__1_3_3_1 P-ROLE n45_a_beeton_1861__1_3_3->n45_a_beeton_1861__1_3_3_1 n45_a_beeton_1861__1_3_3_2 NP n45_a_beeton_1861__1_3_3->n45_a_beeton_1861__1_3_3_2 n45_a_beeton_1861__1_3_3_1->n45_a_beeton_1861__1_3_3_1_1 n45_a_beeton_1861__1_3_3_2_1 NP-GEN n45_a_beeton_1861__1_3_3_2->n45_a_beeton_1861__1_3_3_2_1 n45_a_beeton_1861__1_3_3_2_2 NLYR n45_a_beeton_1861__1_3_3_2->n45_a_beeton_1861__1_3_3_2_2 n45_a_beeton_1861__1_3_3_2_1_1 PRO;_genm_ n45_a_beeton_1861__1_3_3_2_1->n45_a_beeton_1861__1_3_3_2_1_1 n45_a_beeton_1861__1_3_3_2_1_1->n45_a_beeton_1861__1_3_3_2_1_1_1 n45_a_beeton_1861__1_3_3_2_2_1 NLYR n45_a_beeton_1861__1_3_3_2_2->n45_a_beeton_1861__1_3_3_2_2_1 n45_a_beeton_1861__1_3_3_2_2_2 CONJP n45_a_beeton_1861__1_3_3_2_2->n45_a_beeton_1861__1_3_3_2_2_2 n45_a_beeton_1861__1_3_3_2_2_1_1 N n45_a_beeton_1861__1_3_3_2_2_1->n45_a_beeton_1861__1_3_3_2_2_1_1 n45_a_beeton_1861__1_3_3_2_2_1_1->n45_a_beeton_1861__1_3_3_2_2_1_1_1 n45_a_beeton_1861__1_3_3_2_2_2_1 CONJ n45_a_beeton_1861__1_3_3_2_2_2->n45_a_beeton_1861__1_3_3_2_2_2_1 n45_a_beeton_1861__1_3_3_2_2_2_2 NLYR n45_a_beeton_1861__1_3_3_2_2_2->n45_a_beeton_1861__1_3_3_2_2_2_2 n45_a_beeton_1861__1_3_3_2_2_2_1->n45_a_beeton_1861__1_3_3_2_2_2_1_1 n45_a_beeton_1861__1_3_3_2_2_2_2_1 N n45_a_beeton_1861__1_3_3_2_2_2_2->n45_a_beeton_1861__1_3_3_2_2_2_2_1 n45_a_beeton_1861__1_3_3_2_2_2_2_1->n45_a_beeton_1861__1_3_3_2_2_2_2_1_1 n45_a_beeton_1861__1_4->n45_a_beeton_1861__1_4_1 
( (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 45_a_beeton_1861;2170-1))