Context                Previous, Next                Top


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

%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] 
arc(r_0006_0003__was, r_0006_0001__So, nim2).
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, attrib29).


%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_6_3_WAS,R_6_7_BOUGHT,R_6_5_BETTY_BOTTER,R_6_8_A_BIT,R_6_11_BUTTER,R_6_10_BETTER,R_6_1_SO,R_6_4_BETTER] :
      ( betty_Botter(R_6_5_BETTY_BOTTER)
      & better(R_6_10_BETTER)
      & so(R_6_1_SO)
      & better(R_6_4_BETTER)
      & was(R_6_3_WAS,R_6_7_BOUGHT,R_6_4_BETTER)
      & bought(R_6_7_BOUGHT,R_6_5_BETTY_BOTTER,R_6_8_A_BIT)
      & a_bit(R_6_8_A_BIT)
      & of(R_6_8_A_BIT,R_6_11_BUTTER)
      & butter(R_6_11_BUTTER)
      & attrib29(R_6_11_BUTTER,R_6_10_BETTER)
      & nim2(R_6_3_WAS,R_6_1_SO) ) ).


n6_a_betty_botter n6_a_betty_botter_4 So n6_a_betty_botter_7 't n6_a_betty_botter_9 was n6_a_betty_botter_12 better n6_a_betty_botter_17 Betty n6_a_betty_botter_19 Botter n6_a_betty_botter_21 Bought n6_a_betty_botter_24 a_bit n6_a_betty_botter_27 of n6_a_betty_botter_31 better n6_a_betty_botter_33 butter n6_a_betty_botter_35 . n6_a_betty_botter_1 IP-MAT n6_a_betty_botter_2 ADVP-NIM n6_a_betty_botter_1->n6_a_betty_botter_2 n6_a_betty_botter_5 NP-SBJ n6_a_betty_botter_1->n6_a_betty_botter_5 n6_a_betty_botter_8 BED;_La_ n6_a_betty_botter_1->n6_a_betty_botter_8 n6_a_betty_botter_10 ADJP-PRD n6_a_betty_botter_1->n6_a_betty_botter_10 n6_a_betty_botter_13 CP-THT-NSBJ n6_a_betty_botter_1->n6_a_betty_botter_13 n6_a_betty_botter_34 PUNC n6_a_betty_botter_1->n6_a_betty_botter_34 n6_a_betty_botter_3 ADV n6_a_betty_botter_2->n6_a_betty_botter_3 n6_a_betty_botter_3->n6_a_betty_botter_4 n6_a_betty_botter_6 PRO;_provisional_ n6_a_betty_botter_5->n6_a_betty_botter_6 n6_a_betty_botter_6->n6_a_betty_botter_7 n6_a_betty_botter_8->n6_a_betty_botter_9 n6_a_betty_botter_11 ADJR n6_a_betty_botter_10->n6_a_betty_botter_11 n6_a_betty_botter_11->n6_a_betty_botter_12 n6_a_betty_botter_14 IP-SUB n6_a_betty_botter_13->n6_a_betty_botter_14 n6_a_betty_botter_15 NP-SBJ n6_a_betty_botter_14->n6_a_betty_botter_15 n6_a_betty_botter_20 VBD;_Tn_ n6_a_betty_botter_14->n6_a_betty_botter_20 n6_a_betty_botter_22 NP-OB1 n6_a_betty_botter_14->n6_a_betty_botter_22 n6_a_betty_botter_16 NPR n6_a_betty_botter_15->n6_a_betty_botter_16 n6_a_betty_botter_18 NPR n6_a_betty_botter_15->n6_a_betty_botter_18 n6_a_betty_botter_16->n6_a_betty_botter_17 n6_a_betty_botter_18->n6_a_betty_botter_19 n6_a_betty_botter_20->n6_a_betty_botter_21 n6_a_betty_botter_23 D;_nphd_ n6_a_betty_botter_22->n6_a_betty_botter_23 n6_a_betty_botter_25 PP n6_a_betty_botter_22->n6_a_betty_botter_25 n6_a_betty_botter_23->n6_a_betty_botter_24 n6_a_betty_botter_26 P-ROLE n6_a_betty_botter_25->n6_a_betty_botter_26 n6_a_betty_botter_28 NP n6_a_betty_botter_25->n6_a_betty_botter_28 n6_a_betty_botter_26->n6_a_betty_botter_27 n6_a_betty_botter_29 ADJP n6_a_betty_botter_28->n6_a_betty_botter_29 n6_a_betty_botter_32 N n6_a_betty_botter_28->n6_a_betty_botter_32 n6_a_betty_botter_30 ADJR n6_a_betty_botter_29->n6_a_betty_botter_30 n6_a_betty_botter_30->n6_a_betty_botter_31 n6_a_betty_botter_32->n6_a_betty_botter_33 n6_a_betty_botter_34->n6_a_betty_botter_35 
( (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))