Context                Previous, Next                Top


130_a_ted_talk_11
Why?

n130_a_ted_talk_11 n130_a_ted_talk_11__1_1_1_1_1 Why n130_a_ted_talk_11__1_2_1 ? n130_a_ted_talk_11__1 CP-QUE-MAT n130_a_ted_talk_11__1_1 IP-SUB n130_a_ted_talk_11__1->n130_a_ted_talk_11__1_1 n130_a_ted_talk_11__1_2 PUNC n130_a_ted_talk_11__1->n130_a_ted_talk_11__1_2 n130_a_ted_talk_11__1_1_1 ADVP-NIM n130_a_ted_talk_11__1_1->n130_a_ted_talk_11__1_1_1 n130_a_ted_talk_11__1_1_1_1 WADV n130_a_ted_talk_11__1_1_1->n130_a_ted_talk_11__1_1_1_1 n130_a_ted_talk_11__1_1_1_1->n130_a_ted_talk_11__1_1_1_1_1 n130_a_ted_talk_11__1_2->n130_a_ted_talk_11__1_2_1 
( (CP-QUE-MAT (IP-SUB (ADVP-NIM (WADV Why;{why})))
              (PUNC ?))
  (ID 130_a_ted_talk_11))


%3 z_0130_5004 z_0130_5002 z_0130_5004->z_0130_5002 [arg0] r_0130_0001__Why Why z_0130_5004->r_0130_0001__Why [nim] 
arc(z_0130_5004,r_0130_0001__Why,nim).
arc(z_0130_5004,z_0130_5002,arg0).


%3 z_0130_5004 r_0130_0001__Why Why z_0130_5004->r_0130_0001__Why [nim] z_0130_5002 z_0130_5004->z_0130_5002 [arg0] 
fof(formula,axiom,
    ? [R_0130_0001__WHY,Z_0130_5002,Z_0130_5004] :
      ( r_0130_0001__Why(R_0130_0001__WHY)
      & z_0130_5002(Z_0130_5002)
      & z_0130_5004(Z_0130_5004)
      & has_arg0(Z_0130_5004,Z_0130_5002)
      & has_nim(Z_0130_5004,R_0130_0001__WHY) ) ).