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 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] 
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_3 take n43_a_joyce_1914_6 exercise n43_a_joyce_1914_8 . n43_a_joyce_1914_1 IP-IMP n43_a_joyce_1914_2 VB;_Tn_ n43_a_joyce_1914_1->n43_a_joyce_1914_2 n43_a_joyce_1914_4 NP-OB1 n43_a_joyce_1914_1->n43_a_joyce_1914_4 n43_a_joyce_1914_7 PUNC n43_a_joyce_1914_1->n43_a_joyce_1914_7 n43_a_joyce_1914_2->n43_a_joyce_1914_3 n43_a_joyce_1914_5 N n43_a_joyce_1914_4->n43_a_joyce_1914_5 n43_a_joyce_1914_5->n43_a_joyce_1914_6 n43_a_joyce_1914_7->n43_a_joyce_1914_8 
( (IP-IMP (VB;_Tn_ take;{take})
          (NP-OB1 (N exercise;{exercise}))
          (PUNC .))
  (ID 43_a_joyce_1914))