Context                Previous, Next                Top


6_a_betty_botter
So't was better Betty Botter Bought a bit of better butter.

n6_a_betty_botter n6_a_betty_botter__1_1_1_1 So n6_a_betty_botter__1_2_1_1 't n6_a_betty_botter__1_3_1 was n6_a_betty_botter__1_4_1_1 better n6_a_betty_botter__1_5_1_1_1_1 Betty n6_a_betty_botter__1_5_1_1_2_1 Botter n6_a_betty_botter__1_5_1_2_1 Bought n6_a_betty_botter__1_5_1_3_1_1 a_bit n6_a_betty_botter__1_5_1_3_2_1_1 of n6_a_betty_botter__1_5_1_3_2_2_1_1_1 better n6_a_betty_botter__1_5_1_3_2_2_2_1 butter n6_a_betty_botter__1_6_1 . n6_a_betty_botter__1 IP-MAT n6_a_betty_botter__1_1 ADVP-NIM n6_a_betty_botter__1->n6_a_betty_botter__1_1 n6_a_betty_botter__1_2 NP-SBJ n6_a_betty_botter__1->n6_a_betty_botter__1_2 n6_a_betty_botter__1_3 BED;_La_ n6_a_betty_botter__1->n6_a_betty_botter__1_3 n6_a_betty_botter__1_4 ADJP-PRD n6_a_betty_botter__1->n6_a_betty_botter__1_4 n6_a_betty_botter__1_5 CP-THT-NSBJ n6_a_betty_botter__1->n6_a_betty_botter__1_5 n6_a_betty_botter__1_6 PUNC n6_a_betty_botter__1->n6_a_betty_botter__1_6 n6_a_betty_botter__1_1_1 ADV n6_a_betty_botter__1_1->n6_a_betty_botter__1_1_1 n6_a_betty_botter__1_1_1->n6_a_betty_botter__1_1_1_1 n6_a_betty_botter__1_2_1 PRO;_provisional_ n6_a_betty_botter__1_2->n6_a_betty_botter__1_2_1 n6_a_betty_botter__1_2_1->n6_a_betty_botter__1_2_1_1 n6_a_betty_botter__1_3->n6_a_betty_botter__1_3_1 n6_a_betty_botter__1_4_1 ADJR n6_a_betty_botter__1_4->n6_a_betty_botter__1_4_1 n6_a_betty_botter__1_4_1->n6_a_betty_botter__1_4_1_1 n6_a_betty_botter__1_5_1 IP-SUB n6_a_betty_botter__1_5->n6_a_betty_botter__1_5_1 n6_a_betty_botter__1_5_1_1 NP-SBJ n6_a_betty_botter__1_5_1->n6_a_betty_botter__1_5_1_1 n6_a_betty_botter__1_5_1_2 VBD;_Tn_ n6_a_betty_botter__1_5_1->n6_a_betty_botter__1_5_1_2 n6_a_betty_botter__1_5_1_3 NP-OB1 n6_a_betty_botter__1_5_1->n6_a_betty_botter__1_5_1_3 n6_a_betty_botter__1_5_1_1_1 NPR n6_a_betty_botter__1_5_1_1->n6_a_betty_botter__1_5_1_1_1 n6_a_betty_botter__1_5_1_1_2 NPR n6_a_betty_botter__1_5_1_1->n6_a_betty_botter__1_5_1_1_2 n6_a_betty_botter__1_5_1_1_1->n6_a_betty_botter__1_5_1_1_1_1 n6_a_betty_botter__1_5_1_1_2->n6_a_betty_botter__1_5_1_1_2_1 n6_a_betty_botter__1_5_1_2->n6_a_betty_botter__1_5_1_2_1 n6_a_betty_botter__1_5_1_3_1 D;_nphd_ n6_a_betty_botter__1_5_1_3->n6_a_betty_botter__1_5_1_3_1 n6_a_betty_botter__1_5_1_3_2 PP n6_a_betty_botter__1_5_1_3->n6_a_betty_botter__1_5_1_3_2 n6_a_betty_botter__1_5_1_3_1->n6_a_betty_botter__1_5_1_3_1_1 n6_a_betty_botter__1_5_1_3_2_1 P-ROLE n6_a_betty_botter__1_5_1_3_2->n6_a_betty_botter__1_5_1_3_2_1 n6_a_betty_botter__1_5_1_3_2_2 NP n6_a_betty_botter__1_5_1_3_2->n6_a_betty_botter__1_5_1_3_2_2 n6_a_betty_botter__1_5_1_3_2_1->n6_a_betty_botter__1_5_1_3_2_1_1 n6_a_betty_botter__1_5_1_3_2_2_1 ADJP n6_a_betty_botter__1_5_1_3_2_2->n6_a_betty_botter__1_5_1_3_2_2_1 n6_a_betty_botter__1_5_1_3_2_2_2 N n6_a_betty_botter__1_5_1_3_2_2->n6_a_betty_botter__1_5_1_3_2_2_2 n6_a_betty_botter__1_5_1_3_2_2_1_1 ADJR n6_a_betty_botter__1_5_1_3_2_2_1->n6_a_betty_botter__1_5_1_3_2_2_1_1 n6_a_betty_botter__1_5_1_3_2_2_1_1->n6_a_betty_botter__1_5_1_3_2_2_1_1_1 n6_a_betty_botter__1_5_1_3_2_2_2->n6_a_betty_botter__1_5_1_3_2_2_2_1 n6_a_betty_botter__1_6->n6_a_betty_botter__1_6_1 
( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (NP-SBJ (PRO;_provisional_ <apos>t;{it}))
          (BED;_La_ was;{be})
          (ADJP-PRD (ADJR better;{good}))
          (CP-THT-NSBJ (IP-SUB (NP-SBJ;{BETTY} (NPR Betty;{Betty})
                                               (NPR Botter;{Botter}))
                               (VBD;_Tn_ Bought;{buy})
                               (NP-OB1 (D;_nphd_ a_bit;{a_bit})
                                       (PP (P-ROLE of;{of})
                                           (NP (ADJP (ADJR better;{good}))
                                               (N butter;{butter}))))))
          (PUNC .))
  (ID 6_a_betty_botter))


%3 r_0006_0011__butter butter r_0006_0010__better better r_0006_0011__butter->r_0006_0010__better [attrib] r_0006_0008__a_bit a_bit r_0006_0008__a_bit->r_0006_0011__butter of r_0006_0007__Bought Bought r_0006_0007__Bought->r_0006_0008__a_bit [arg1] r_0006_0005__Betty_r_0006_0006__Botter Betty Botter r_0006_0007__Bought->r_0006_0005__Betty_r_0006_0006__Botter [arg0] r_0006_0003__was was r_0006_0003__was->r_0006_0007__Bought [arg0] r_0006_0004__better better r_0006_0003__was->r_0006_0004__better [prd] r_0006_0001__So So r_0006_0003__was->r_0006_0001__So [nim] 
arc(r_0006_0003__was,r_0006_0001__So,nim).
arc(r_0006_0003__was,r_0006_0004__better,prd).
arc(r_0006_0003__was,r_0006_0007__Bought,arg0).
arc(r_0006_0007__Bought,r_0006_0005__Betty_r_0006_0006__Botter,arg0).
arc(r_0006_0007__Bought,r_0006_0008__a_bit,arg1).
arc(r_0006_0008__a_bit,r_0006_0011__butter,r_0006_0009__of).
arc(r_0006_0011__butter,r_0006_0010__better,attrib).


%3 r_0006_0003__was was r_0006_0001__So So r_0006_0003__was->r_0006_0001__So [nim] r_0006_0004__better better r_0006_0003__was->r_0006_0004__better [prd] r_0006_0007__Bought Bought r_0006_0003__was->r_0006_0007__Bought [arg0] r_0006_0005__Betty_r_0006_0006__Botter Betty Botter r_0006_0007__Bought->r_0006_0005__Betty_r_0006_0006__Botter [arg0] r_0006_0008__a_bit a_bit r_0006_0007__Bought->r_0006_0008__a_bit [arg1] r_0006_0011__butter butter r_0006_0008__a_bit->r_0006_0011__butter of r_0006_0010__better better r_0006_0011__butter->r_0006_0010__better [attrib] 
fof(formula,axiom,
    ? [R_0006_0001__SO,R_0006_0004__BETTER,R_0006_0005__BETTY_R_0006_0006__BOTTER,R_0006_0010__BETTER,R_0006_0011__BUTTER,R_0006_0008__A_BIT,R_0006_0007__BOUGHT,R_0006_0003__WAS] :
      ( r_0006_0001__So(R_0006_0001__SO)
      & r_0006_0004__better(R_0006_0004__BETTER)
      & r_0006_0005__Betty_r_0006_0006__Botter(R_0006_0005__BETTY_R_0006_0006__BOTTER)
      & r_0006_0010__better(R_0006_0010__BETTER)
      & r_0006_0003__was(R_0006_0003__WAS)
      & has_arg0(R_0006_0003__WAS,R_0006_0007__BOUGHT)
      & r_0006_0007__Bought(R_0006_0007__BOUGHT)
      & has_arg1(R_0006_0007__BOUGHT,R_0006_0008__A_BIT)
      & r_0006_0008__a_bit(R_0006_0008__A_BIT)
      & has_r_0006_0009__of(R_0006_0008__A_BIT,R_0006_0011__BUTTER)
      & r_0006_0011__butter(R_0006_0011__BUTTER)
      & has_attrib(R_0006_0011__BUTTER,R_0006_0010__BETTER)
      & has_arg0(R_0006_0007__BOUGHT,R_0006_0005__BETTY_R_0006_0006__BOTTER)
      & has_prd(R_0006_0003__WAS,R_0006_0004__BETTER)
      & has_nim(R_0006_0003__WAS,R_0006_0001__SO) ) ).