Context                Previous, Next                Top


41_a_ted_talk_11
Thank you.

%3 r_0041_0001__Thank_you Thank you 
arc(r_0041_0001__Thank_you, z_0000_0000, z_0000_0000).


%3 r_0041_0001__Thank_you Thank you 
fof(formula,axiom,
    ? [R_41_1_THANK_YOU,Z_] :
      ( thank_you(R_41_1_THANK_YOU)
      & z_(R_41_1_THANK_YOU,Z_) ) ).


n41_a_ted_talk_11 n41_a_ted_talk_11__1_1_1 Thank_you n41_a_ted_talk_11__1_2_1 . n41_a_ted_talk_11__1 FRAG n41_a_ted_talk_11__1_1 FRM n41_a_ted_talk_11__1->n41_a_ted_talk_11__1_1 n41_a_ted_talk_11__1_2 PUNC n41_a_ted_talk_11__1->n41_a_ted_talk_11__1_2 n41_a_ted_talk_11__1_1->n41_a_ted_talk_11__1_1_1 n41_a_ted_talk_11__1_2->n41_a_ted_talk_11__1_2_1 
( (FRAG (FRM Thank_you)
        (PUNC .))
  (ID 41_a_ted_talk_11))