Context                Previous, Next                Top


3_a_betty_botter
So she bought a bit of butter Better than her bitter butter,

%3 r_0003_0003__bought bought r_0003_0001__So So r_0003_0003__bought->r_0003_0001__So [nim] r_0003_0002__she she r_0003_0003__bought->r_0003_0002__she [arg0] r_0003_0004__a_bit a bit r_0003_0003__bought->r_0003_0004__a_bit [arg1] r_0003_0006__butter butter r_0003_0004__a_bit->r_0003_0006__butter of r_0003_0007__Better Better r_0003_0006__butter->r_0003_0007__Better [attrib] r_0003_0011__butter butter r_0003_0007__Better->r_0003_0011__butter than r_0003_0011__butter->r_0003_0002__she [gen] r_0003_0010__bitter bitter r_0003_0011__butter->r_0003_0010__bitter [attrib] 
arc(r_0003_0003__bought, r_0003_0001__So, nim2).
arc(r_0003_0003__bought, r_0003_0002__she, arg0).
arc(r_0003_0003__bought, r_0003_0004__a_bit, arg1).
arc(r_0003_0004__a_bit, r_0003_0006__butter, r_0003_0005__of).
arc(r_0003_0006__butter, r_0003_0007__Better, attrib19).
arc(r_0003_0007__Better, r_0003_0011__butter, r_0003_0008__than).
arc(r_0003_0011__butter, r_0003_0002__she, gen).
arc(r_0003_0011__butter, r_0003_0010__bitter, attrib29).


%3 r_0003_0003__bought bought r_0003_0001__So So r_0003_0003__bought->r_0003_0001__So [nim] r_0003_0002__she she r_0003_0003__bought->r_0003_0002__she [arg0] r_0003_0004__a_bit a bit r_0003_0003__bought->r_0003_0004__a_bit [arg1] r_0003_0006__butter butter r_0003_0004__a_bit->r_0003_0006__butter of r_0003_0007__Better Better r_0003_0006__butter->r_0003_0007__Better [attrib] r_0003_0011__butter butter r_0003_0007__Better->r_0003_0011__butter than r_0003_0011__butter->r_0003_0002__she [gen] r_0003_0010__bitter bitter r_0003_0011__butter->r_0003_0010__bitter [attrib] 
fof(formula,axiom,
    ? [R_3_3_BOUGHT,R_3_4_A_BIT,R_3_6_BUTTER,R_3_7_BETTER,R_3_11_BUTTER,R_3_10_BITTER,R_3_2_SHE,R_3_1_SO] :
      ( bitter(R_3_10_BITTER)
      & she(R_3_2_SHE)
      & so(R_3_1_SO)
      & bought(R_3_3_BOUGHT,R_3_2_SHE,R_3_4_A_BIT)
      & a_bit(R_3_4_A_BIT)
      & of(R_3_4_A_BIT,R_3_6_BUTTER)
      & butter(R_3_6_BUTTER)
      & attrib19(R_3_6_BUTTER,R_3_7_BETTER)
      & better(R_3_7_BETTER)
      & than(R_3_7_BETTER,R_3_11_BUTTER)
      & butter(R_3_11_BUTTER)
      & attrib29(R_3_11_BUTTER,R_3_10_BITTER)
      & gen(R_3_11_BUTTER,R_3_2_SHE)
      & nim2(R_3_3_BOUGHT,R_3_1_SO) ) ).


n3_a_betty_botter n3_a_betty_botter_4 So n3_a_betty_botter_7 she n3_a_betty_botter_9 bought n3_a_betty_botter_12 a_bit n3_a_betty_botter_15 of n3_a_betty_botter_18 butter n3_a_betty_botter_21 Better n3_a_betty_botter_24 than n3_a_betty_botter_28 her n3_a_betty_botter_31 bitter n3_a_betty_botter_33 butter n3_a_betty_botter_35 , n3_a_betty_botter_1 IP-MAT n3_a_betty_botter_2 ADVP-NIM n3_a_betty_botter_1->n3_a_betty_botter_2 n3_a_betty_botter_5 NP-SBJ n3_a_betty_botter_1->n3_a_betty_botter_5 n3_a_betty_botter_8 VBD;_Tn_ n3_a_betty_botter_1->n3_a_betty_botter_8 n3_a_betty_botter_10 NP-OB1 n3_a_betty_botter_1->n3_a_betty_botter_10 n3_a_betty_botter_34 PUNC n3_a_betty_botter_1->n3_a_betty_botter_34 n3_a_betty_botter_3 ADV n3_a_betty_botter_2->n3_a_betty_botter_3 n3_a_betty_botter_3->n3_a_betty_botter_4 n3_a_betty_botter_6 PRO n3_a_betty_botter_5->n3_a_betty_botter_6 n3_a_betty_botter_6->n3_a_betty_botter_7 n3_a_betty_botter_8->n3_a_betty_botter_9 n3_a_betty_botter_11 D;_nphd_ n3_a_betty_botter_10->n3_a_betty_botter_11 n3_a_betty_botter_13 PP n3_a_betty_botter_10->n3_a_betty_botter_13 n3_a_betty_botter_11->n3_a_betty_botter_12 n3_a_betty_botter_14 P-ROLE n3_a_betty_botter_13->n3_a_betty_botter_14 n3_a_betty_botter_16 NP n3_a_betty_botter_13->n3_a_betty_botter_16 n3_a_betty_botter_14->n3_a_betty_botter_15 n3_a_betty_botter_17 N n3_a_betty_botter_16->n3_a_betty_botter_17 n3_a_betty_botter_19 ADJP n3_a_betty_botter_16->n3_a_betty_botter_19 n3_a_betty_botter_17->n3_a_betty_botter_18 n3_a_betty_botter_20 ADJR n3_a_betty_botter_19->n3_a_betty_botter_20 n3_a_betty_botter_22 PP n3_a_betty_botter_19->n3_a_betty_botter_22 n3_a_betty_botter_20->n3_a_betty_botter_21 n3_a_betty_botter_23 P-ROLE n3_a_betty_botter_22->n3_a_betty_botter_23 n3_a_betty_botter_25 NP n3_a_betty_botter_22->n3_a_betty_botter_25 n3_a_betty_botter_23->n3_a_betty_botter_24 n3_a_betty_botter_26 NP-GEN n3_a_betty_botter_25->n3_a_betty_botter_26 n3_a_betty_botter_29 ADJP n3_a_betty_botter_25->n3_a_betty_botter_29 n3_a_betty_botter_32 N n3_a_betty_botter_25->n3_a_betty_botter_32 n3_a_betty_botter_27 PRO;_genm_ n3_a_betty_botter_26->n3_a_betty_botter_27 n3_a_betty_botter_27->n3_a_betty_botter_28 n3_a_betty_botter_30 ADJ n3_a_betty_botter_29->n3_a_betty_botter_30 n3_a_betty_botter_30->n3_a_betty_botter_31 n3_a_betty_botter_32->n3_a_betty_botter_33 n3_a_betty_botter_34->n3_a_betty_botter_35 
( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (NP-SBJ;{BETTY} (PRO she;{she}))
          (VBD;_Tn_ bought;{buy})
          (NP-OB1;{BETTER_BUTTER} (D;_nphd_ a_bit;{a_bit})
                                  (PP (P-ROLE of;{of})
                                      (NP (N butter;{butter})
                                          (ADJP (ADJR Better;{good})
                                                (PP (P-ROLE than;{than})
                                                    (NP (NP-GEN;{BETTY} (PRO;_genm_ her;{her}))
                                                        (ADJP (ADJ bitter;{bitter}))
                                                        (N butter;{butter})))))))
          (PUNC ,))
  (ID 3_a_betty_botter))