40_a_beeton_1861
This operation is best performed by two persons, one to draw the wine, the other to cork the bottles.

%3 r_0040_0003__is is r_0040_0005__performed performed r_0040_0003__is->r_0040_0005__performed [scope] r_0040_0001__This_r_0040_0002__operation This operation r_0040_0005__performed->r_0040_0001__This_r_0040_0002__operation [arg1] r_0040_0004__best best r_0040_0005__performed->r_0040_0004__best [nim] r_0040_0007__two_r_0040_0008__persons two persons r_0040_0005__performed->r_0040_0007__two_r_0040_0008__persons [arg0] r_0040_0011__to_r_0040_0012__draw to draw r_0040_0010__one one r_0040_0011__to_r_0040_0012__draw->r_0040_0010__one [arg0] r_0040_0013__the_r_0040_0014__wine the wine r_0040_0011__to_r_0040_0012__draw->r_0040_0013__the_r_0040_0014__wine [arg1] r_0040_0016__the the r_0040_0017__other other r_0040_0016__the->r_0040_0017__other [attrib] r_0040_0018__to_r_0040_0019__cork to cork r_0040_0018__to_r_0040_0019__cork->r_0040_0016__the [arg0] r_0040_0020__the_r_0040_0021__bottles the bottles r_0040_0018__to_r_0040_0019__cork->r_0040_0020__the_r_0040_0021__bottles [arg1] z_000_40_a_beeton_1861_25 z_000_40_a_beeton_1861_25->r_0040_0007__two_r_0040_0008__persons [arg0] z_000_40_a_beeton_1861_27 z_000_40_a_beeton_1861_25->z_000_40_a_beeton_1861_27 [prd] z_000_40_a_beeton_1861_27->r_0040_0010__one [conj1] z_000_40_a_beeton_1861_27->r_0040_0016__the [conj2]
arc(r_0040_0003__is, r_0040_0005__performed, scope).
arc(r_0040_0005__performed, r_0040_0001__This_r_0040_0002__operation, arg1).
arc(r_0040_0005__performed, r_0040_0004__best, nim10).
arc(r_0040_0005__performed, r_0040_0007__two_r_0040_0008__persons, arg0).
arc(r_0040_0011__to_r_0040_0012__draw, r_0040_0010__one, arg0).
arc(r_0040_0011__to_r_0040_0012__draw, r_0040_0013__the_r_0040_0014__wine, arg1).
arc(r_0040_0016__the, r_0040_0017__other, attrib49).
arc(r_0040_0018__to_r_0040_0019__cork, r_0040_0016__the, arg0).
arc(r_0040_0018__to_r_0040_0019__cork, r_0040_0020__the_r_0040_0021__bottles, arg1).
arc(z_000_40_a_beeton_1861_25, r_0040_0007__two_r_0040_0008__persons, arg0).
arc(z_000_40_a_beeton_1861_25, z_000_40_a_beeton_1861_27, prd).
arc(z_000_40_a_beeton_1861_27, r_0040_0010__one, conj1).
arc(z_000_40_a_beeton_1861_27, r_0040_0016__the, conj2).



%3 r_0040_0003__is_r_0040_0005__performed is performed r_0040_0001__This_r_0040_0002__operation This operation r_0040_0003__is_r_0040_0005__performed->r_0040_0001__This_r_0040_0002__operation [arg1] r_0040_0004__best best r_0040_0003__is_r_0040_0005__performed->r_0040_0004__best [nim] r_0040_0007__two_r_0040_0008__persons two persons r_0040_0003__is_r_0040_0005__performed->r_0040_0007__two_r_0040_0008__persons [arg0] r_0040_0011__to_r_0040_0012__draw to draw r_0040_0010__one one r_0040_0011__to_r_0040_0012__draw->r_0040_0010__one [arg0] r_0040_0013__the_r_0040_0014__wine the wine r_0040_0011__to_r_0040_0012__draw->r_0040_0013__the_r_0040_0014__wine [arg1] r_0040_0016__the the r_0040_0017__other other r_0040_0016__the->r_0040_0017__other [attrib] r_0040_0018__to_r_0040_0019__cork to cork r_0040_0018__to_r_0040_0019__cork->r_0040_0016__the [arg0] r_0040_0020__the_r_0040_0021__bottles the bottles r_0040_0018__to_r_0040_0019__cork->r_0040_0020__the_r_0040_0021__bottles [arg1] z_000_40_a_beeton_1861_25 z_000_40_a_beeton_1861_25->r_0040_0007__two_r_0040_0008__persons [arg0] z_000_40_a_beeton_1861_27 z_000_40_a_beeton_1861_25->z_000_40_a_beeton_1861_27 [prd] z_000_40_a_beeton_1861_27->r_0040_0010__one [conj1] z_000_40_a_beeton_1861_27->r_0040_0016__the [conj2]
fof(formula,axiom,
    ? [R_40_3_IS_PERFORMED,R_40_1_THIS_OPERATION,R_40_4_BEST,R_40_11_TO_DRAW,R_40_13_THE_WINE,R_40_18_TO_CORK,R_40_20_THE_BOTTLES,Z_40_A_BEETON_1861_25,R_40_7_TWO_PERSONS,Z_40_A_BEETON_1861_27,R_40_10_ONE,R_40_16_THE,R_40_17_OTHER] :
      ( this_operation(R_40_1_THIS_OPERATION)
      & best(R_40_4_BEST)
      & the_wine(R_40_13_THE_WINE)
      & the_bottles(R_40_20_THE_BOTTLES)
      & two_persons(R_40_7_TWO_PERSONS)
      & one(R_40_10_ONE)
      & other(R_40_17_OTHER)
      & is_performed(R_40_3_IS_PERFORMED,R_40_7_TWO_PERSONS,R_40_1_THIS_OPERATION)
      & nim10(R_40_3_IS_PERFORMED,R_40_4_BEST)
      & to_draw(R_40_11_TO_DRAW,R_40_10_ONE,R_40_13_THE_WINE)
      & to_cork(R_40_18_TO_CORK,R_40_16_THE,R_40_20_THE_BOTTLES)
      & the(R_40_16_THE)
      & attrib49(R_40_16_THE,R_40_17_OTHER)
      & z_40_a_beeton_1861_25(Z_40_A_BEETON_1861_25,R_40_7_TWO_PERSONS,Z_40_A_BEETON_1861_27)
      & z_40_a_beeton_1861_27(Z_40_A_BEETON_1861_27)
      & conj1(Z_40_A_BEETON_1861_27,R_40_10_ONE)
      & conj2(Z_40_A_BEETON_1861_27,R_40_16_THE) ) ).



n40_a_beeton_1861 n40_a_beeton_1861_4 This n40_a_beeton_1861_6 operation n40_a_beeton_1861_8 is n40_a_beeton_1861_12 best n40_a_beeton_1861_14 performed n40_a_beeton_1861_17 by n40_a_beeton_1861_20 two n40_a_beeton_1861_22 persons n40_a_beeton_1861_24 , n40_a_beeton_1861_30 one n40_a_beeton_1861_33 *T* n40_a_beeton_1861_35 to n40_a_beeton_1861_37 draw n40_a_beeton_1861_40 the n40_a_beeton_1861_42 wine n40_a_beeton_1861_44 , n40_a_beeton_1861_48 the n40_a_beeton_1861_51 other n40_a_beeton_1861_54 *T* n40_a_beeton_1861_56 to n40_a_beeton_1861_58 cork n40_a_beeton_1861_61 the n40_a_beeton_1861_63 bottles n40_a_beeton_1861_65 . n40_a_beeton_1861_1 IP-MAT n40_a_beeton_1861_2 NP-SBJ n40_a_beeton_1861_1->n40_a_beeton_1861_2 n40_a_beeton_1861_7 BEP;_cat_VePASS_ n40_a_beeton_1861_1->n40_a_beeton_1861_7 n40_a_beeton_1861_9 IP-PPL-CAT n40_a_beeton_1861_1->n40_a_beeton_1861_9 n40_a_beeton_1861_64 PUNC n40_a_beeton_1861_1->n40_a_beeton_1861_64 n40_a_beeton_1861_3 D n40_a_beeton_1861_2->n40_a_beeton_1861_3 n40_a_beeton_1861_5 N n40_a_beeton_1861_2->n40_a_beeton_1861_5 n40_a_beeton_1861_3->n40_a_beeton_1861_4 n40_a_beeton_1861_5->n40_a_beeton_1861_6 n40_a_beeton_1861_7->n40_a_beeton_1861_8 n40_a_beeton_1861_10 ADVP-NIM n40_a_beeton_1861_9->n40_a_beeton_1861_10 n40_a_beeton_1861_13 VVN;__ n40_a_beeton_1861_9->n40_a_beeton_1861_13 n40_a_beeton_1861_15 PP-LGS n40_a_beeton_1861_9->n40_a_beeton_1861_15 n40_a_beeton_1861_11 ADVS n40_a_beeton_1861_10->n40_a_beeton_1861_11 n40_a_beeton_1861_11->n40_a_beeton_1861_12 n40_a_beeton_1861_13->n40_a_beeton_1861_14 n40_a_beeton_1861_16 P-ROLE;_lgs_ n40_a_beeton_1861_15->n40_a_beeton_1861_16 n40_a_beeton_1861_18 NP n40_a_beeton_1861_15->n40_a_beeton_1861_18 n40_a_beeton_1861_16->n40_a_beeton_1861_17 n40_a_beeton_1861_19 NUM n40_a_beeton_1861_18->n40_a_beeton_1861_19 n40_a_beeton_1861_21 NS n40_a_beeton_1861_18->n40_a_beeton_1861_21 n40_a_beeton_1861_23 PUNC n40_a_beeton_1861_18->n40_a_beeton_1861_23 n40_a_beeton_1861_25 IP-PPL n40_a_beeton_1861_18->n40_a_beeton_1861_25 n40_a_beeton_1861_19->n40_a_beeton_1861_20 n40_a_beeton_1861_21->n40_a_beeton_1861_22 n40_a_beeton_1861_23->n40_a_beeton_1861_24 n40_a_beeton_1861_26 NP-PRD n40_a_beeton_1861_25->n40_a_beeton_1861_26 n40_a_beeton_1861_27 NLYR n40_a_beeton_1861_26->n40_a_beeton_1861_27 n40_a_beeton_1861_28 NLYR n40_a_beeton_1861_27->n40_a_beeton_1861_28 n40_a_beeton_1861_43 PUNC n40_a_beeton_1861_27->n40_a_beeton_1861_43 n40_a_beeton_1861_45 CONJP n40_a_beeton_1861_27->n40_a_beeton_1861_45 n40_a_beeton_1861_29 NUM n40_a_beeton_1861_28->n40_a_beeton_1861_29 n40_a_beeton_1861_31 IP-INF-REL n40_a_beeton_1861_28->n40_a_beeton_1861_31 n40_a_beeton_1861_29->n40_a_beeton_1861_30 n40_a_beeton_1861_32 NP-SBJ n40_a_beeton_1861_31->n40_a_beeton_1861_32 n40_a_beeton_1861_34 TO n40_a_beeton_1861_31->n40_a_beeton_1861_34 n40_a_beeton_1861_36 VB;__ n40_a_beeton_1861_31->n40_a_beeton_1861_36 n40_a_beeton_1861_38 NP-OB1 n40_a_beeton_1861_31->n40_a_beeton_1861_38 n40_a_beeton_1861_32->n40_a_beeton_1861_33 n40_a_beeton_1861_34->n40_a_beeton_1861_35 n40_a_beeton_1861_36->n40_a_beeton_1861_37 n40_a_beeton_1861_39 D n40_a_beeton_1861_38->n40_a_beeton_1861_39 n40_a_beeton_1861_41 N n40_a_beeton_1861_38->n40_a_beeton_1861_41 n40_a_beeton_1861_39->n40_a_beeton_1861_40 n40_a_beeton_1861_41->n40_a_beeton_1861_42 n40_a_beeton_1861_43->n40_a_beeton_1861_44 n40_a_beeton_1861_46 NLYR n40_a_beeton_1861_45->n40_a_beeton_1861_46 n40_a_beeton_1861_47 D n40_a_beeton_1861_46->n40_a_beeton_1861_47 n40_a_beeton_1861_49 ADJP n40_a_beeton_1861_46->n40_a_beeton_1861_49 n40_a_beeton_1861_52 IP-INF-REL n40_a_beeton_1861_46->n40_a_beeton_1861_52 n40_a_beeton_1861_47->n40_a_beeton_1861_48 n40_a_beeton_1861_50 ADJ n40_a_beeton_1861_49->n40_a_beeton_1861_50 n40_a_beeton_1861_50->n40_a_beeton_1861_51 n40_a_beeton_1861_53 NP-SBJ n40_a_beeton_1861_52->n40_a_beeton_1861_53 n40_a_beeton_1861_55 TO n40_a_beeton_1861_52->n40_a_beeton_1861_55 n40_a_beeton_1861_57 VB;__ n40_a_beeton_1861_52->n40_a_beeton_1861_57 n40_a_beeton_1861_59 NP-OB1 n40_a_beeton_1861_52->n40_a_beeton_1861_59 n40_a_beeton_1861_53->n40_a_beeton_1861_54 n40_a_beeton_1861_55->n40_a_beeton_1861_56 n40_a_beeton_1861_57->n40_a_beeton_1861_58 n40_a_beeton_1861_60 D n40_a_beeton_1861_59->n40_a_beeton_1861_60 n40_a_beeton_1861_62 NS n40_a_beeton_1861_59->n40_a_beeton_1861_62 n40_a_beeton_1861_60->n40_a_beeton_1861_61 n40_a_beeton_1861_62->n40_a_beeton_1861_63 n40_a_beeton_1861_64->n40_a_beeton_1861_65
( (IP-MAT (NP-SBJ (D This;{this})
                  (N operation;{operation}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (ADVP-NIM (ADVS best;{good}))
                      (VVN;__ performed;{perform})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (NUM two;{two})
                                  (NS persons;{person})
                                  (PUNC ,)
                                  (IP-PPL (NP-PRD (NLYR (NLYR (NUM one;{one})
                                                              (IP-INF-REL (NP-SBJ *T*)
                                                                          (TO to;{to})
                                                                          (VB;__ draw;{draw})
                                                                          (NP-OB1 (D the;{the})
                                                                                  (N wine;{wine}))))
                                                        (PUNC ,)
                                                        (CONJP (NLYR (D the;{the})
                                                                     (ADJP (ADJ other;{other}))
                                                                     (IP-INF-REL (NP-SBJ *T*)
                                                                                 (TO to;{to})
                                                                                 (VB;__ cork;{cork})
                                                                                 (NP-OB1 (D the;{the})
                                                                                         (NS bottles;{bottle})))))))))))
          (PUNC .))
  (ID 40_a_beeton_1861;2167-4))