Context                Previous, Next                Top


1_a_betty_botter
Betty Botter bought 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))


%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] 
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_0001_0001__BETTY_R_0001_0002__BOTTER,R_0001_0004__SOME_R_0001_0005__BUTTER,R_0001_0003__BOUGHT] :
      ( r_0001_0001__Betty_r_0001_0002__Botter(R_0001_0001__BETTY_R_0001_0002__BOTTER)
      & r_0001_0004__some_r_0001_0005__butter(R_0001_0004__SOME_R_0001_0005__BUTTER)
      & r_0001_0003__bought(R_0001_0003__BOUGHT)
      & has_arg1(R_0001_0003__BOUGHT,R_0001_0004__SOME_R_0001_0005__BUTTER)
      & has_arg0(R_0001_0003__BOUGHT,R_0001_0001__BETTY_R_0001_0002__BOTTER) ) ).