Context                Previous, Next                Top


102_a_lob_a02
Rab cracks down.

%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_102_2_CRACKS_DOWN,R_102_1_RAB] :
      ( rab(R_102_1_RAB)
      & cracks_down(R_102_2_CRACKS_DOWN,R_102_1_RAB) ) ).


n102_a_lob_a02 n102_a_lob_a02_4 Rab n102_a_lob_a02_6 cracks n102_a_lob_a02_8 down n102_a_lob_a02_10 . n102_a_lob_a02_1 IP-MAT n102_a_lob_a02_2 NP-SBJ n102_a_lob_a02_1->n102_a_lob_a02_2 n102_a_lob_a02_5 VBP;__ n102_a_lob_a02_1->n102_a_lob_a02_5 n102_a_lob_a02_7 RP n102_a_lob_a02_1->n102_a_lob_a02_7 n102_a_lob_a02_9 PUNC n102_a_lob_a02_1->n102_a_lob_a02_9 n102_a_lob_a02_3 NPR n102_a_lob_a02_2->n102_a_lob_a02_3 n102_a_lob_a02_3->n102_a_lob_a02_4 n102_a_lob_a02_5->n102_a_lob_a02_6 n102_a_lob_a02_7->n102_a_lob_a02_8 n102_a_lob_a02_9->n102_a_lob_a02_10 
( (IP-MAT (NP-SBJ (NPR Rab;{Rab}))
          (VBP;__ cracks;{crack})
          (RP down;{down})
          (PUNC .))
  (ID 102_a_lob_a02))