Context                Previous, Next                Top


1_a_betty_botter
Betty Botter bought some butter,

%3 r_0001_0003__bought bought r_0001_0001__Betty_r_0001_0002__Botter Betty Botter r_0001_0003__bought->r_0001_0001__Betty_r_0001_0002__Botter [arg0] r_0001_0004__some_r_0001_0005__butter some butter r_0001_0003__bought->r_0001_0004__some_r_0001_0005__butter [arg1] 
arc(r_0001_0003__bought, r_0001_0001__Betty_r_0001_0002__Botter, arg0).
arc(r_0001_0003__bought, r_0001_0004__some_r_0001_0005__butter, arg1).


%3 r_0001_0003__bought bought r_0001_0004__some_r_0001_0005__butter some butter r_0001_0003__bought->r_0001_0004__some_r_0001_0005__butter [arg1] r_0001_0001__Betty_r_0001_0002__Botter Betty Botter r_0001_0003__bought->r_0001_0001__Betty_r_0001_0002__Botter [arg0] 
fof(formula,axiom,
    ? [R_1_3_BOUGHT,R_1_1_BETTY_BOTTER,R_1_4_SOME_BUTTER] :
      ( betty_Botter(R_1_1_BETTY_BOTTER)
      & some_butter(R_1_4_SOME_BUTTER)
      & bought(R_1_3_BOUGHT,R_1_1_BETTY_BOTTER,R_1_4_SOME_BUTTER) ) ).


n1_a_betty_botter n1_a_betty_botter__1_1_1_1 Betty n1_a_betty_botter__1_1_2_1 Botter n1_a_betty_botter__1_2_1 bought n1_a_betty_botter__1_3_1_1 some n1_a_betty_botter__1_3_2_1 butter n1_a_betty_botter__1_4_1 , n1_a_betty_botter__1 IP-MAT n1_a_betty_botter__1_1 NP-SBJ n1_a_betty_botter__1->n1_a_betty_botter__1_1 n1_a_betty_botter__1_2 VBD;_Tn_ n1_a_betty_botter__1->n1_a_betty_botter__1_2 n1_a_betty_botter__1_3 NP-OB1 n1_a_betty_botter__1->n1_a_betty_botter__1_3 n1_a_betty_botter__1_4 PUNC n1_a_betty_botter__1->n1_a_betty_botter__1_4 n1_a_betty_botter__1_1_1 NPR n1_a_betty_botter__1_1->n1_a_betty_botter__1_1_1 n1_a_betty_botter__1_1_2 NPR n1_a_betty_botter__1_1->n1_a_betty_botter__1_1_2 n1_a_betty_botter__1_1_1->n1_a_betty_botter__1_1_1_1 n1_a_betty_botter__1_1_2->n1_a_betty_botter__1_1_2_1 n1_a_betty_botter__1_2->n1_a_betty_botter__1_2_1 n1_a_betty_botter__1_3_1 D n1_a_betty_botter__1_3->n1_a_betty_botter__1_3_1 n1_a_betty_botter__1_3_2 N n1_a_betty_botter__1_3->n1_a_betty_botter__1_3_2 n1_a_betty_botter__1_3_1->n1_a_betty_botter__1_3_1_1 n1_a_betty_botter__1_3_2->n1_a_betty_botter__1_3_2_1 n1_a_betty_botter__1_4->n1_a_betty_botter__1_4_1 
( (IP-MAT (NP-SBJ;{BETTY} (NPR Betty;{Betty})
                          (NPR Botter;{Botter}))
          (VBD;_Tn_ bought;{buy})
          (NP-OB1;{BITTER_BUTTER} (D some;{some})
                                  (N butter;{butter}))
          (PUNC ,))
  (ID 1_a_betty_botter))