Context                Previous, Next                Top


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

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))


%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] 
arc(r_0003_0003__bought,r_0003_0001__So,nim).
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,attrib).
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,attrib).


%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_0003_0001__SO,R_0003_0002__SHE,R_0003_0010__BITTER,R_0003_0011__BUTTER,R_0003_0007__BETTER,R_0003_0006__BUTTER,R_0003_0004__A_BIT,R_0003_0003__BOUGHT] :
      ( r_0003_0001__So(R_0003_0001__SO)
      & r_0003_0002__she(R_0003_0002__SHE)
      & r_0003_0010__bitter(R_0003_0010__BITTER)
      & r_0003_0003__bought(R_0003_0003__BOUGHT)
      & has_arg1(R_0003_0003__BOUGHT,R_0003_0004__A_BIT)
      & r_0003_0004__a_bit(R_0003_0004__A_BIT)
      & has_r_0003_0005__of(R_0003_0004__A_BIT,R_0003_0006__BUTTER)
      & r_0003_0006__butter(R_0003_0006__BUTTER)
      & has_attrib(R_0003_0006__BUTTER,R_0003_0007__BETTER)
      & r_0003_0007__Better(R_0003_0007__BETTER)
      & has_r_0003_0008__than(R_0003_0007__BETTER,R_0003_0011__BUTTER)
      & r_0003_0011__butter(R_0003_0011__BUTTER)
      & has_attrib(R_0003_0011__BUTTER,R_0003_0010__BITTER)
      & has_gen(R_0003_0011__BUTTER,R_0003_0002__SHE)
      & has_arg0(R_0003_0003__BOUGHT,R_0003_0002__SHE)
      & has_nim(R_0003_0003__BOUGHT,R_0003_0001__SO) ) ).