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_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] 
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__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))