Context                Previous, Next                Top


31_a_freedoom
Take cover!

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


%3 r_0031_0001__Take Take r_0031_0002__cover cover r_0031_0001__Take->r_0031_0002__cover [arg1] z_000_31_a_freedoom_1 r_0031_0001__Take->z_000_31_a_freedoom_1 [arg0] 
fof(formula,axiom,
    ? [R_31_1_TAKE,Z_31_A_FREEDOOM_1,R_31_2_COVER] :
      ( cover(R_31_2_COVER)
      & take(R_31_1_TAKE,Z_31_A_FREEDOOM_1,R_31_2_COVER) ) ).


n31_a_freedoom n31_a_freedoom_3 Take n31_a_freedoom_6 cover n31_a_freedoom_8 ! n31_a_freedoom_1 IP-IMP n31_a_freedoom_2 VB;_Tn_ n31_a_freedoom_1->n31_a_freedoom_2 n31_a_freedoom_4 NP-OB1 n31_a_freedoom_1->n31_a_freedoom_4 n31_a_freedoom_7 PUNC n31_a_freedoom_1->n31_a_freedoom_7 n31_a_freedoom_2->n31_a_freedoom_3 n31_a_freedoom_5 N n31_a_freedoom_4->n31_a_freedoom_5 n31_a_freedoom_5->n31_a_freedoom_6 n31_a_freedoom_7->n31_a_freedoom_8 
( (IP-IMP (VB;_Tn_ Take;{take})
          (NP-OB1 (N cover;{cover}))
          (PUNC !))
  (ID 31_a_freedoom))