TSPC 32_a_beeton

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

( (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 32_a_beeton_1861;2166-10))

arc(r_0032_0001__This_r_0032_0002__quantity,r_0032_0005__wine,r_0032_0003__of).
arc(r_0032_0005__wine,r_0032_0004__clarified,attrib).
arc(r_0032_0006__will,r_0032_0007__fine,scope).
arc(r_0032_0007__fine,r_0032_0001__This_r_0032_0002__quantity,arg0).
arc(r_0032_0007__fine,r_0032_0008__thirteen_r_0032_0009__dozen,arg1).
arc(r_0032_0008__thirteen_r_0032_0009__dozen,r_0032_0012__or,r_0032_0010__of).
arc(r_0032_0012__or,r_0032_0011__port,conj1).
arc(r_0032_0012__or,r_0032_0013__sherry,conj2).

fof(formula,axiom,
    ? [R_0032_0004__CLARIFIED,R_0032_0005__WINE,R_0032_0001__THIS_R_0032_0002__QUANTITY,R_0032_0011__PORT,R_0032_0013__SHERRY,R_0032_0012__OR,R_0032_0008__THIRTEEN_R_0032_0009__DOZEN,R_0032_0006__WILL_R_0032_0007__FINE] :
      ( r_0032_0004__clarified(R_0032_0004__CLARIFIED)
      & r_0032_0011__port(R_0032_0011__PORT)
      & r_0032_0013__sherry(R_0032_0013__SHERRY)
      & r_0032_0006__will_r_0032_0007__fine(R_0032_0006__WILL_R_0032_0007__FINE)
      & has_arg1(R_0032_0006__WILL_R_0032_0007__FINE,R_0032_0008__THIRTEEN_R_0032_0009__DOZEN)
      & r_0032_0008__thirteen_r_0032_0009__dozen(R_0032_0008__THIRTEEN_R_0032_0009__DOZEN)
      & has_r_0032_0010__of(R_0032_0008__THIRTEEN_R_0032_0009__DOZEN,R_0032_0012__OR)
      & r_0032_0012__or(R_0032_0012__OR)
      & has_conj2(R_0032_0012__OR,R_0032_0013__SHERRY)
      & has_conj1(R_0032_0012__OR,R_0032_0011__PORT)
      & has_arg0(R_0032_0006__WILL_R_0032_0007__FINE,R_0032_0001__THIS_R_0032_0002__QUANTITY)
      & r_0032_0001__This_r_0032_0002__quantity(R_0032_0001__THIS_R_0032_0002__QUANTITY)
      & has_r_0032_0003__of(R_0032_0001__THIS_R_0032_0002__QUANTITY,R_0032_0005__WINE)
      & r_0032_0005__wine(R_0032_0005__WINE)
      & has_attrib(R_0032_0005__WINE,R_0032_0004__CLARIFIED) ) ).