Context                Previous, Next                Top


35_a_beeton_1861
This quantity of clarified wine will fine thirteen dozen of port or sherry.

%3 r_0035_0001__This_r_0035_0002__quantity This [quant]ity r_0035_0005__wine wine r_0035_0001__This_r_0035_0002__quantity->r_0035_0005__wine of r_0035_0004__clarified clarified r_0035_0005__wine->r_0035_0004__clarified [attrib] r_0035_0006__will will r_0035_0007__fine fine r_0035_0006__will->r_0035_0007__fine [scope] r_0035_0007__fine->r_0035_0001__This_r_0035_0002__quantity [arg0] r_0035_0008__thirteen_r_0035_0009__dozen thirteen dozen r_0035_0007__fine->r_0035_0008__thirteen_r_0035_0009__dozen [arg1] r_0035_0012__or or r_0035_0008__thirteen_r_0035_0009__dozen->r_0035_0012__or of r_0035_0011__port port r_0035_0012__or->r_0035_0011__port [conj1] r_0035_0013__sherry sherry r_0035_0012__or->r_0035_0013__sherry [conj2] 
arc(r_0035_0001__This_r_0035_0002__quantity, r_0035_0005__wine, r_0035_0003__of).
arc(r_0035_0005__wine, r_0035_0004__clarified, attrib11).
arc(r_0035_0006__will, r_0035_0007__fine, scope).
arc(r_0035_0007__fine, r_0035_0001__This_r_0035_0002__quantity, arg0).
arc(r_0035_0007__fine, r_0035_0008__thirteen_r_0035_0009__dozen, arg1).
arc(r_0035_0008__thirteen_r_0035_0009__dozen, r_0035_0012__or, r_0035_0010__of).
arc(r_0035_0012__or, r_0035_0011__port, conj1).
arc(r_0035_0012__or, r_0035_0013__sherry, conj2).


%3 r_0035_0012__or or r_0035_0013__sherry sherry r_0035_0012__or->r_0035_0013__sherry [conj2] r_0035_0011__port port r_0035_0012__or->r_0035_0011__port [conj1] r_0035_0008__thirteen_r_0035_0009__dozen thirteen dozen r_0035_0008__thirteen_r_0035_0009__dozen->r_0035_0012__or of r_0035_0006__will_r_0035_0007__fine will fine r_0035_0006__will_r_0035_0007__fine->r_0035_0008__thirteen_r_0035_0009__dozen [arg1] r_0035_0001__This_r_0035_0002__quantity This [quant]ity r_0035_0006__will_r_0035_0007__fine->r_0035_0001__This_r_0035_0002__quantity [arg0] r_0035_0005__wine wine r_0035_0001__This_r_0035_0002__quantity->r_0035_0005__wine of r_0035_0004__clarified clarified r_0035_0005__wine->r_0035_0004__clarified [attrib] 
fof(formula,axiom,
    ? [R_0035_0004__CLARIFIED,R_0035_0005__WINE,R_0035_0001__THIS_R_0035_0002__QUANTITY,R_0035_0011__PORT,R_0035_0013__SHERRY,R_0035_0012__OR,R_0035_0008__THIRTEEN_R_0035_0009__DOZEN,R_0035_0006__WILL_R_0035_0007__FINE] :
      ( r_0035_0004__clarified(R_0035_0004__CLARIFIED)
      & r_0035_0011__port(R_0035_0011__PORT)
      & r_0035_0013__sherry(R_0035_0013__SHERRY)
      & r_0035_0006__will_r_0035_0007__fine(R_0035_0006__WILL_R_0035_0007__FINE)
      & has_arg1(R_0035_0006__WILL_R_0035_0007__FINE,R_0035_0008__THIRTEEN_R_0035_0009__DOZEN)
      & r_0035_0008__thirteen_r_0035_0009__dozen(R_0035_0008__THIRTEEN_R_0035_0009__DOZEN)
      & has_r_0035_0010__of(R_0035_0008__THIRTEEN_R_0035_0009__DOZEN,R_0035_0012__OR)
      & r_0035_0012__or(R_0035_0012__OR)
      & has_conj2(R_0035_0012__OR,R_0035_0013__SHERRY)
      & has_conj1(R_0035_0012__OR,R_0035_0011__PORT)
      & has_arg0(R_0035_0006__WILL_R_0035_0007__FINE,R_0035_0001__THIS_R_0035_0002__QUANTITY)
      & r_0035_0001__This_r_0035_0002__quantity(R_0035_0001__THIS_R_0035_0002__QUANTITY)
      & has_r_0035_0003__of(R_0035_0001__THIS_R_0035_0002__QUANTITY,R_0035_0005__WINE)
      & r_0035_0005__wine(R_0035_0005__WINE)
      & has_attrib11(R_0035_0005__WINE,R_0035_0004__CLARIFIED) ) ).


n35_a_beeton_1861 n35_a_beeton_1861__1_1_1_1 This n35_a_beeton_1861__1_1_2_1 quantity n35_a_beeton_1861__1_1_3_1_1 of n35_a_beeton_1861__1_1_3_2_1_1_1 clarified n35_a_beeton_1861__1_1_3_2_2_1 wine n35_a_beeton_1861__1_2_1 will n35_a_beeton_1861__1_3_1_1 fine n35_a_beeton_1861__1_3_2_1_1 thirteen n35_a_beeton_1861__1_3_2_2_1 dozen n35_a_beeton_1861__1_3_2_3_1_1 of n35_a_beeton_1861__1_3_2_3_2_1_1_1_1 port n35_a_beeton_1861__1_3_2_3_2_1_2_1_1 or n35_a_beeton_1861__1_3_2_3_2_1_2_2_1_1 sherry n35_a_beeton_1861__1_4_1 . n35_a_beeton_1861__1 IP-MAT n35_a_beeton_1861__1_1 NP-SBJ n35_a_beeton_1861__1->n35_a_beeton_1861__1_1 n35_a_beeton_1861__1_2 MD;_cat_Vi_ n35_a_beeton_1861__1->n35_a_beeton_1861__1_2 n35_a_beeton_1861__1_3 IP-INF-CAT n35_a_beeton_1861__1->n35_a_beeton_1861__1_3 n35_a_beeton_1861__1_4 PUNC n35_a_beeton_1861__1->n35_a_beeton_1861__1_4 n35_a_beeton_1861__1_1_1 D n35_a_beeton_1861__1_1->n35_a_beeton_1861__1_1_1 n35_a_beeton_1861__1_1_2 N n35_a_beeton_1861__1_1->n35_a_beeton_1861__1_1_2 n35_a_beeton_1861__1_1_3 PP n35_a_beeton_1861__1_1->n35_a_beeton_1861__1_1_3 n35_a_beeton_1861__1_1_1->n35_a_beeton_1861__1_1_1_1 n35_a_beeton_1861__1_1_2->n35_a_beeton_1861__1_1_2_1 n35_a_beeton_1861__1_1_3_1 P-ROLE n35_a_beeton_1861__1_1_3->n35_a_beeton_1861__1_1_3_1 n35_a_beeton_1861__1_1_3_2 NP n35_a_beeton_1861__1_1_3->n35_a_beeton_1861__1_1_3_2 n35_a_beeton_1861__1_1_3_1->n35_a_beeton_1861__1_1_3_1_1 n35_a_beeton_1861__1_1_3_2_1 ADJP n35_a_beeton_1861__1_1_3_2->n35_a_beeton_1861__1_1_3_2_1 n35_a_beeton_1861__1_1_3_2_2 N n35_a_beeton_1861__1_1_3_2->n35_a_beeton_1861__1_1_3_2_2 n35_a_beeton_1861__1_1_3_2_1_1 ADJ n35_a_beeton_1861__1_1_3_2_1->n35_a_beeton_1861__1_1_3_2_1_1 n35_a_beeton_1861__1_1_3_2_1_1->n35_a_beeton_1861__1_1_3_2_1_1_1 n35_a_beeton_1861__1_1_3_2_2->n35_a_beeton_1861__1_1_3_2_2_1 n35_a_beeton_1861__1_2->n35_a_beeton_1861__1_2_1 n35_a_beeton_1861__1_3_1 VB;__ n35_a_beeton_1861__1_3->n35_a_beeton_1861__1_3_1 n35_a_beeton_1861__1_3_2 NP-OB1 n35_a_beeton_1861__1_3->n35_a_beeton_1861__1_3_2 n35_a_beeton_1861__1_3_1->n35_a_beeton_1861__1_3_1_1 n35_a_beeton_1861__1_3_2_1 NUM n35_a_beeton_1861__1_3_2->n35_a_beeton_1861__1_3_2_1 n35_a_beeton_1861__1_3_2_2 NUM n35_a_beeton_1861__1_3_2->n35_a_beeton_1861__1_3_2_2 n35_a_beeton_1861__1_3_2_3 PP n35_a_beeton_1861__1_3_2->n35_a_beeton_1861__1_3_2_3 n35_a_beeton_1861__1_3_2_1->n35_a_beeton_1861__1_3_2_1_1 n35_a_beeton_1861__1_3_2_2->n35_a_beeton_1861__1_3_2_2_1 n35_a_beeton_1861__1_3_2_3_1 P-ROLE n35_a_beeton_1861__1_3_2_3->n35_a_beeton_1861__1_3_2_3_1 n35_a_beeton_1861__1_3_2_3_2 NP n35_a_beeton_1861__1_3_2_3->n35_a_beeton_1861__1_3_2_3_2 n35_a_beeton_1861__1_3_2_3_1->n35_a_beeton_1861__1_3_2_3_1_1 n35_a_beeton_1861__1_3_2_3_2_1 NLYR n35_a_beeton_1861__1_3_2_3_2->n35_a_beeton_1861__1_3_2_3_2_1 n35_a_beeton_1861__1_3_2_3_2_1_1 NLYR n35_a_beeton_1861__1_3_2_3_2_1->n35_a_beeton_1861__1_3_2_3_2_1_1 n35_a_beeton_1861__1_3_2_3_2_1_2 CONJP n35_a_beeton_1861__1_3_2_3_2_1->n35_a_beeton_1861__1_3_2_3_2_1_2 n35_a_beeton_1861__1_3_2_3_2_1_1_1 N n35_a_beeton_1861__1_3_2_3_2_1_1->n35_a_beeton_1861__1_3_2_3_2_1_1_1 n35_a_beeton_1861__1_3_2_3_2_1_1_1->n35_a_beeton_1861__1_3_2_3_2_1_1_1_1 n35_a_beeton_1861__1_3_2_3_2_1_2_1 CONJ n35_a_beeton_1861__1_3_2_3_2_1_2->n35_a_beeton_1861__1_3_2_3_2_1_2_1 n35_a_beeton_1861__1_3_2_3_2_1_2_2 NLYR n35_a_beeton_1861__1_3_2_3_2_1_2->n35_a_beeton_1861__1_3_2_3_2_1_2_2 n35_a_beeton_1861__1_3_2_3_2_1_2_1->n35_a_beeton_1861__1_3_2_3_2_1_2_1_1 n35_a_beeton_1861__1_3_2_3_2_1_2_2_1 N n35_a_beeton_1861__1_3_2_3_2_1_2_2->n35_a_beeton_1861__1_3_2_3_2_1_2_2_1 n35_a_beeton_1861__1_3_2_3_2_1_2_2_1->n35_a_beeton_1861__1_3_2_3_2_1_2_2_1_1 n35_a_beeton_1861__1_4->n35_a_beeton_1861__1_4_1 
( (IP-MAT (NP-SBJ (D This;{this})
                  (N quantity;{quantity})
                  (PP (P-ROLE of;{of})
                      (NP (ADJP (ADJ clarified;{clarified}))
                          (N wine;{wine}))))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;__ fine;{fine})
                      (NP-OB1 (NUM thirteen;{thirteen})
                              (NUM dozen;{dozen})
                              (PP (P-ROLE of;{of})
                                  (NP (NLYR (NLYR (N port;{port}))
                                            (CONJP (CONJ or;{or})
                                                   (NLYR (N sherry;{sherry}))))))))
          (PUNC .))
  (ID 35_a_beeton_1861;2166-10))