Context                Previous, Next                Top


102_a_lob_a02
Rab cracks down.

n102_a_lob_a02 n102_a_lob_a02__1_1_1_1 Rab n102_a_lob_a02__1_2_1 cracks n102_a_lob_a02__1_3_1 down n102_a_lob_a02__1_4_1 . n102_a_lob_a02__1 IP-MAT n102_a_lob_a02__1_1 NP-SBJ n102_a_lob_a02__1->n102_a_lob_a02__1_1 n102_a_lob_a02__1_2 VBP;__ n102_a_lob_a02__1->n102_a_lob_a02__1_2 n102_a_lob_a02__1_3 RP n102_a_lob_a02__1->n102_a_lob_a02__1_3 n102_a_lob_a02__1_4 PUNC n102_a_lob_a02__1->n102_a_lob_a02__1_4 n102_a_lob_a02__1_1_1 NPR n102_a_lob_a02__1_1->n102_a_lob_a02__1_1_1 n102_a_lob_a02__1_1_1->n102_a_lob_a02__1_1_1_1 n102_a_lob_a02__1_2->n102_a_lob_a02__1_2_1 n102_a_lob_a02__1_3->n102_a_lob_a02__1_3_1 n102_a_lob_a02__1_4->n102_a_lob_a02__1_4_1 
( (IP-MAT (NP-SBJ (NPR Rab;{Rab}))
          (VBP;__ cracks;{crack})
          (RP down;{down})
          (PUNC .))
  (ID 102_a_lob_a02))


%3 r_0102_0002__cracks_r_0102_0003__down cracks down r_0102_0001__Rab Rab r_0102_0002__cracks_r_0102_0003__down->r_0102_0001__Rab [arg0] 
arc(r_0102_0002__cracks_r_0102_0003__down,r_0102_0001__Rab,arg0).


%3 r_0102_0002__cracks_r_0102_0003__down cracks down r_0102_0001__Rab Rab r_0102_0002__cracks_r_0102_0003__down->r_0102_0001__Rab [arg0] 
fof(formula,axiom,
    ? [R_0102_0001__RAB,R_0102_0002__CRACKS_R_0102_0003__DOWN] :
      ( r_0102_0001__Rab(R_0102_0001__RAB)
      & r_0102_0002__cracks_r_0102_0003__down(R_0102_0002__CRACKS_R_0102_0003__DOWN)
      & has_arg0(R_0102_0002__CRACKS_R_0102_0003__DOWN,R_0102_0001__RAB) ) ).