Context                Previous, Next                Top


130_a_ted_talk_11
Why?

%3 z_000_130_a_ted_talk_11_2 r_0130_0001__Why Why z_000_130_a_ted_talk_11_2->r_0130_0001__Why [nim] 
arc(z_000_130_a_ted_talk_11_2, r_0130_0001__Why, nim3).


%3 z_000_130_a_ted_talk_11_2 r_0130_0001__Why Why z_000_130_a_ted_talk_11_2->r_0130_0001__Why [nim] 
fof(formula,axiom,
    ? [Z_130_A_TED_TALK_11_2,R_130_1_WHY] :
      ( why(R_130_1_WHY)
      & z_130_a_ted_talk_11_2(Z_130_A_TED_TALK_11_2)
      & nim3(Z_130_A_TED_TALK_11_2,R_130_1_WHY) ) ).


n130_a_ted_talk_11 n130_a_ted_talk_11_5 Why n130_a_ted_talk_11_7 ? n130_a_ted_talk_11_1 CP-QUE-MAT n130_a_ted_talk_11_2 IP-SUB n130_a_ted_talk_11_1->n130_a_ted_talk_11_2 n130_a_ted_talk_11_6 PUNC n130_a_ted_talk_11_1->n130_a_ted_talk_11_6 n130_a_ted_talk_11_3 ADVP-NIM n130_a_ted_talk_11_2->n130_a_ted_talk_11_3 n130_a_ted_talk_11_4 WADV n130_a_ted_talk_11_3->n130_a_ted_talk_11_4 n130_a_ted_talk_11_4->n130_a_ted_talk_11_5 n130_a_ted_talk_11_6->n130_a_ted_talk_11_7 
( (CP-QUE-MAT (IP-SUB (ADVP-NIM (WADV Why;{why})))
              (PUNC ?))
  (ID 130_a_ted_talk_11))