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_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] 
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_4 Betty n1_a_betty_botter_6 Botter n1_a_betty_botter_8 bought n1_a_betty_botter_11 some n1_a_betty_botter_13 butter n1_a_betty_botter_15 , n1_a_betty_botter_1 IP-MAT n1_a_betty_botter_2 NP-SBJ n1_a_betty_botter_1->n1_a_betty_botter_2 n1_a_betty_botter_7 VBD;_Tn_ n1_a_betty_botter_1->n1_a_betty_botter_7 n1_a_betty_botter_9 NP-OB1 n1_a_betty_botter_1->n1_a_betty_botter_9 n1_a_betty_botter_14 PUNC n1_a_betty_botter_1->n1_a_betty_botter_14 n1_a_betty_botter_3 NPR n1_a_betty_botter_2->n1_a_betty_botter_3 n1_a_betty_botter_5 NPR n1_a_betty_botter_2->n1_a_betty_botter_5 n1_a_betty_botter_3->n1_a_betty_botter_4 n1_a_betty_botter_5->n1_a_betty_botter_6 n1_a_betty_botter_7->n1_a_betty_botter_8 n1_a_betty_botter_10 D n1_a_betty_botter_9->n1_a_betty_botter_10 n1_a_betty_botter_12 N n1_a_betty_botter_9->n1_a_betty_botter_12 n1_a_betty_botter_10->n1_a_betty_botter_11 n1_a_betty_botter_12->n1_a_betty_botter_13 n1_a_betty_botter_14->n1_a_betty_botter_15 
( (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))