Context                Previous, Next                Top


31_a_freedoom
Take cover!

n31_a_freedoom n31_a_freedoom__1_1_1 Take n31_a_freedoom__1_2_1_1 cover n31_a_freedoom__1_3_1 ! n31_a_freedoom__1 IP-IMP n31_a_freedoom__1_1 VB;_Tn_ n31_a_freedoom__1->n31_a_freedoom__1_1 n31_a_freedoom__1_2 NP-OB1 n31_a_freedoom__1->n31_a_freedoom__1_2 n31_a_freedoom__1_3 PUNC n31_a_freedoom__1->n31_a_freedoom__1_3 n31_a_freedoom__1_1->n31_a_freedoom__1_1_1 n31_a_freedoom__1_2_1 N n31_a_freedoom__1_2->n31_a_freedoom__1_2_1 n31_a_freedoom__1_2_1->n31_a_freedoom__1_2_1_1 n31_a_freedoom__1_3->n31_a_freedoom__1_3_1 
( (IP-IMP (VB;_Tn_ Take;{take})
          (NP-OB1 (N cover;{cover}))
          (PUNC !))
  (ID 31_a_freedoom))


%3 r_0031_0001__Take Take z_0031_5002 r_0031_0001__Take->z_0031_5002 [arg0] r_0031_0002__cover cover r_0031_0001__Take->r_0031_0002__cover [arg1] 
arc(r_0031_0001__Take,r_0031_0002__cover,arg1).
arc(r_0031_0001__Take,z_0031_5002,arg0).


%3 r_0031_0001__Take Take r_0031_0002__cover cover r_0031_0001__Take->r_0031_0002__cover [arg1] z_0031_5002 r_0031_0001__Take->z_0031_5002 [arg0] 
fof(formula,axiom,
    ? [R_0031_0002__COVER,Z_0031_5002,R_0031_0001__TAKE] :
      ( r_0031_0002__cover(R_0031_0002__COVER)
      & z_0031_5002(Z_0031_5002)
      & r_0031_0001__Take(R_0031_0001__TAKE)
      & has_arg0(R_0031_0001__TAKE,Z_0031_5002)
      & has_arg1(R_0031_0001__TAKE,R_0031_0002__COVER) ) ).