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_0011__butter butter r_0003_0010__bitter bitter r_0003_0011__butter->r_0003_0010__bitter [attrib] r_0003_0002__she she r_0003_0011__butter->r_0003_0002__she [gen] r_0003_0007__Better Better r_0003_0007__Better->r_0003_0011__butter than r_0003_0006__butter butter r_0003_0006__butter->r_0003_0007__Better [attrib] r_0003_0004__a_bit a bit r_0003_0004__a_bit->r_0003_0006__butter of r_0003_0003__bought bought r_0003_0003__bought->r_0003_0002__she [arg0] r_0003_0003__bought->r_0003_0004__a_bit [arg1] r_0003_0001__So So r_0003_0003__bought->r_0003_0001__So [nim] 
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__1_1_1_1 So n3_a_betty_botter__1_2_1_1 she n3_a_betty_botter__1_3_1 bought n3_a_betty_botter__1_4_1_1 a_bit n3_a_betty_botter__1_4_2_1_1 of n3_a_betty_botter__1_4_2_2_1_1 butter n3_a_betty_botter__1_4_2_2_2_1_1 Better n3_a_betty_botter__1_4_2_2_2_2_1_1 than n3_a_betty_botter__1_4_2_2_2_2_2_1_1_1 her n3_a_betty_botter__1_4_2_2_2_2_2_2_1_1 bitter n3_a_betty_botter__1_4_2_2_2_2_2_3_1 butter n3_a_betty_botter__1_5_1 , n3_a_betty_botter__1 IP-MAT n3_a_betty_botter__1_1 ADVP-NIM n3_a_betty_botter__1->n3_a_betty_botter__1_1 n3_a_betty_botter__1_2 NP-SBJ n3_a_betty_botter__1->n3_a_betty_botter__1_2 n3_a_betty_botter__1_3 VBD;_Tn_ n3_a_betty_botter__1->n3_a_betty_botter__1_3 n3_a_betty_botter__1_4 NP-OB1 n3_a_betty_botter__1->n3_a_betty_botter__1_4 n3_a_betty_botter__1_5 PUNC n3_a_betty_botter__1->n3_a_betty_botter__1_5 n3_a_betty_botter__1_1_1 ADV n3_a_betty_botter__1_1->n3_a_betty_botter__1_1_1 n3_a_betty_botter__1_1_1->n3_a_betty_botter__1_1_1_1 n3_a_betty_botter__1_2_1 PRO n3_a_betty_botter__1_2->n3_a_betty_botter__1_2_1 n3_a_betty_botter__1_2_1->n3_a_betty_botter__1_2_1_1 n3_a_betty_botter__1_3->n3_a_betty_botter__1_3_1 n3_a_betty_botter__1_4_1 D;_nphd_ n3_a_betty_botter__1_4->n3_a_betty_botter__1_4_1 n3_a_betty_botter__1_4_2 PP n3_a_betty_botter__1_4->n3_a_betty_botter__1_4_2 n3_a_betty_botter__1_4_1->n3_a_betty_botter__1_4_1_1 n3_a_betty_botter__1_4_2_1 P-ROLE n3_a_betty_botter__1_4_2->n3_a_betty_botter__1_4_2_1 n3_a_betty_botter__1_4_2_2 NP n3_a_betty_botter__1_4_2->n3_a_betty_botter__1_4_2_2 n3_a_betty_botter__1_4_2_1->n3_a_betty_botter__1_4_2_1_1 n3_a_betty_botter__1_4_2_2_1 N n3_a_betty_botter__1_4_2_2->n3_a_betty_botter__1_4_2_2_1 n3_a_betty_botter__1_4_2_2_2 ADJP n3_a_betty_botter__1_4_2_2->n3_a_betty_botter__1_4_2_2_2 n3_a_betty_botter__1_4_2_2_1->n3_a_betty_botter__1_4_2_2_1_1 n3_a_betty_botter__1_4_2_2_2_1 ADJR n3_a_betty_botter__1_4_2_2_2->n3_a_betty_botter__1_4_2_2_2_1 n3_a_betty_botter__1_4_2_2_2_2 PP n3_a_betty_botter__1_4_2_2_2->n3_a_betty_botter__1_4_2_2_2_2 n3_a_betty_botter__1_4_2_2_2_1->n3_a_betty_botter__1_4_2_2_2_1_1 n3_a_betty_botter__1_4_2_2_2_2_1 P-ROLE n3_a_betty_botter__1_4_2_2_2_2->n3_a_betty_botter__1_4_2_2_2_2_1 n3_a_betty_botter__1_4_2_2_2_2_2 NP n3_a_betty_botter__1_4_2_2_2_2->n3_a_betty_botter__1_4_2_2_2_2_2 n3_a_betty_botter__1_4_2_2_2_2_1->n3_a_betty_botter__1_4_2_2_2_2_1_1 n3_a_betty_botter__1_4_2_2_2_2_2_1 NP-GEN n3_a_betty_botter__1_4_2_2_2_2_2->n3_a_betty_botter__1_4_2_2_2_2_2_1 n3_a_betty_botter__1_4_2_2_2_2_2_2 ADJP n3_a_betty_botter__1_4_2_2_2_2_2->n3_a_betty_botter__1_4_2_2_2_2_2_2 n3_a_betty_botter__1_4_2_2_2_2_2_3 N n3_a_betty_botter__1_4_2_2_2_2_2->n3_a_betty_botter__1_4_2_2_2_2_2_3 n3_a_betty_botter__1_4_2_2_2_2_2_1_1 PRO;_genm_ n3_a_betty_botter__1_4_2_2_2_2_2_1->n3_a_betty_botter__1_4_2_2_2_2_2_1_1 n3_a_betty_botter__1_4_2_2_2_2_2_1_1->n3_a_betty_botter__1_4_2_2_2_2_2_1_1_1 n3_a_betty_botter__1_4_2_2_2_2_2_2_1 ADJ n3_a_betty_botter__1_4_2_2_2_2_2_2->n3_a_betty_botter__1_4_2_2_2_2_2_2_1 n3_a_betty_botter__1_4_2_2_2_2_2_2_1->n3_a_betty_botter__1_4_2_2_2_2_2_2_1_1 n3_a_betty_botter__1_4_2_2_2_2_2_3->n3_a_betty_botter__1_4_2_2_2_2_2_3_1 n3_a_betty_botter__1_5->n3_a_betty_botter__1_5_1 
( (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))