Context                Previous, Next                Top


43_a_joyce_1914
take exercise.

%3 r_0043_0001__take take r_0043_0002__exercise exercise r_0043_0001__take->r_0043_0002__exercise [arg1] z_000_43_a_joyce_1914_1 r_0043_0001__take->z_000_43_a_joyce_1914_1 [arg0] 
arc(r_0043_0001__take, r_0043_0002__exercise, arg1).
arc(r_0043_0001__take, z_000_43_a_joyce_1914_1, arg0).


%3 r_0043_0001__take take z_000_43_a_joyce_1914_1 r_0043_0001__take->z_000_43_a_joyce_1914_1 [arg0] r_0043_0002__exercise exercise r_0043_0001__take->r_0043_0002__exercise [arg1] 
fof(formula,axiom,
    ? [R_43_1_TAKE,Z_43_A_JOYCE_1914_1,R_43_2_EXERCISE] :
      ( exercise(R_43_2_EXERCISE)
      & take(R_43_1_TAKE,Z_43_A_JOYCE_1914_1,R_43_2_EXERCISE) ) ).


n43_a_joyce_1914 n43_a_joyce_1914__1_1_1 take n43_a_joyce_1914__1_2_1_1 exercise n43_a_joyce_1914__1_3_1 . n43_a_joyce_1914__1 IP-IMP n43_a_joyce_1914__1_1 VB;_Tn_ n43_a_joyce_1914__1->n43_a_joyce_1914__1_1 n43_a_joyce_1914__1_2 NP-OB1 n43_a_joyce_1914__1->n43_a_joyce_1914__1_2 n43_a_joyce_1914__1_3 PUNC n43_a_joyce_1914__1->n43_a_joyce_1914__1_3 n43_a_joyce_1914__1_1->n43_a_joyce_1914__1_1_1 n43_a_joyce_1914__1_2_1 N n43_a_joyce_1914__1_2->n43_a_joyce_1914__1_2_1 n43_a_joyce_1914__1_2_1->n43_a_joyce_1914__1_2_1_1 n43_a_joyce_1914__1_3->n43_a_joyce_1914__1_3_1 
( (IP-IMP (VB;_Tn_ take;{take})
          (NP-OB1 (N exercise;{exercise}))
          (PUNC .))
  (ID 43_a_joyce_1914))