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_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_r_0035_0007__fine will fine r_0035_0006__will_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_0006__will_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] 
fof(formula,axiom,
    ? [R_35_6_WILL_FINE,R_35_1_THIS_QUANTITY,R_35_5_WINE,R_35_4_CLARIFIED,R_35_8_THIRTEEN_DOZEN,R_35_12_OR,R_35_11_PORT,R_35_13_SHERRY] :
      ( clarified(R_35_4_CLARIFIED)
      & port(R_35_11_PORT)
      & sherry(R_35_13_SHERRY)
      & will_fine(R_35_6_WILL_FINE,R_35_1_THIS_QUANTITY,R_35_8_THIRTEEN_DOZEN)
      & this_quantity(R_35_1_THIS_QUANTITY)
      & of(R_35_1_THIS_QUANTITY,R_35_5_WINE)
      & wine(R_35_5_WINE)
      & attrib11(R_35_5_WINE,R_35_4_CLARIFIED)
      & thirteen_dozen(R_35_8_THIRTEEN_DOZEN)
      & of(R_35_8_THIRTEEN_DOZEN,R_35_12_OR)
      & or(R_35_12_OR)
      & conj1(R_35_12_OR,R_35_11_PORT)
      & conj2(R_35_12_OR,R_35_13_SHERRY) ) ).


n35_a_beeton_1861 n35_a_beeton_1861_4 This n35_a_beeton_1861_6 quantity n35_a_beeton_1861_9 of n35_a_beeton_1861_13 clarified n35_a_beeton_1861_15 wine n35_a_beeton_1861_17 will n35_a_beeton_1861_20 fine n35_a_beeton_1861_23 thirteen n35_a_beeton_1861_25 dozen n35_a_beeton_1861_28 of n35_a_beeton_1861_33 port n35_a_beeton_1861_36 or n35_a_beeton_1861_39 sherry n35_a_beeton_1861_41 . n35_a_beeton_1861_1 IP-MAT n35_a_beeton_1861_2 NP-SBJ n35_a_beeton_1861_1->n35_a_beeton_1861_2 n35_a_beeton_1861_16 MD;_cat_Vi_ n35_a_beeton_1861_1->n35_a_beeton_1861_16 n35_a_beeton_1861_18 IP-INF-CAT n35_a_beeton_1861_1->n35_a_beeton_1861_18 n35_a_beeton_1861_40 PUNC n35_a_beeton_1861_1->n35_a_beeton_1861_40 n35_a_beeton_1861_3 D n35_a_beeton_1861_2->n35_a_beeton_1861_3 n35_a_beeton_1861_5 N n35_a_beeton_1861_2->n35_a_beeton_1861_5 n35_a_beeton_1861_7 PP n35_a_beeton_1861_2->n35_a_beeton_1861_7 n35_a_beeton_1861_3->n35_a_beeton_1861_4 n35_a_beeton_1861_5->n35_a_beeton_1861_6 n35_a_beeton_1861_8 P-ROLE n35_a_beeton_1861_7->n35_a_beeton_1861_8 n35_a_beeton_1861_10 NP n35_a_beeton_1861_7->n35_a_beeton_1861_10 n35_a_beeton_1861_8->n35_a_beeton_1861_9 n35_a_beeton_1861_11 ADJP n35_a_beeton_1861_10->n35_a_beeton_1861_11 n35_a_beeton_1861_14 N n35_a_beeton_1861_10->n35_a_beeton_1861_14 n35_a_beeton_1861_12 ADJ n35_a_beeton_1861_11->n35_a_beeton_1861_12 n35_a_beeton_1861_12->n35_a_beeton_1861_13 n35_a_beeton_1861_14->n35_a_beeton_1861_15 n35_a_beeton_1861_16->n35_a_beeton_1861_17 n35_a_beeton_1861_19 VB;__ n35_a_beeton_1861_18->n35_a_beeton_1861_19 n35_a_beeton_1861_21 NP-OB1 n35_a_beeton_1861_18->n35_a_beeton_1861_21 n35_a_beeton_1861_19->n35_a_beeton_1861_20 n35_a_beeton_1861_22 NUM n35_a_beeton_1861_21->n35_a_beeton_1861_22 n35_a_beeton_1861_24 NUM n35_a_beeton_1861_21->n35_a_beeton_1861_24 n35_a_beeton_1861_26 PP n35_a_beeton_1861_21->n35_a_beeton_1861_26 n35_a_beeton_1861_22->n35_a_beeton_1861_23 n35_a_beeton_1861_24->n35_a_beeton_1861_25 n35_a_beeton_1861_27 P-ROLE n35_a_beeton_1861_26->n35_a_beeton_1861_27 n35_a_beeton_1861_29 NP n35_a_beeton_1861_26->n35_a_beeton_1861_29 n35_a_beeton_1861_27->n35_a_beeton_1861_28 n35_a_beeton_1861_30 NLYR n35_a_beeton_1861_29->n35_a_beeton_1861_30 n35_a_beeton_1861_31 NLYR n35_a_beeton_1861_30->n35_a_beeton_1861_31 n35_a_beeton_1861_34 CONJP n35_a_beeton_1861_30->n35_a_beeton_1861_34 n35_a_beeton_1861_32 N n35_a_beeton_1861_31->n35_a_beeton_1861_32 n35_a_beeton_1861_32->n35_a_beeton_1861_33 n35_a_beeton_1861_35 CONJ n35_a_beeton_1861_34->n35_a_beeton_1861_35 n35_a_beeton_1861_37 NLYR n35_a_beeton_1861_34->n35_a_beeton_1861_37 n35_a_beeton_1861_35->n35_a_beeton_1861_36 n35_a_beeton_1861_38 N n35_a_beeton_1861_37->n35_a_beeton_1861_38 n35_a_beeton_1861_38->n35_a_beeton_1861_39 n35_a_beeton_1861_40->n35_a_beeton_1861_41 
( (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))