Context                Previous, Next                Top


131_a_ted_talk_11
Why not?

n131_a_ted_talk_11 n131_a_ted_talk_11__1_1_1_1_1 Why n131_a_ted_talk_11__1_1_2_1 not n131_a_ted_talk_11__1_2_1 ? n131_a_ted_talk_11__1 CP-QUE-MAT n131_a_ted_talk_11__1_1 IP-SUB n131_a_ted_talk_11__1->n131_a_ted_talk_11__1_1 n131_a_ted_talk_11__1_2 PUNC n131_a_ted_talk_11__1->n131_a_ted_talk_11__1_2 n131_a_ted_talk_11__1_1_1 ADVP-NIM n131_a_ted_talk_11__1_1->n131_a_ted_talk_11__1_1_1 n131_a_ted_talk_11__1_1_2 NEG n131_a_ted_talk_11__1_1->n131_a_ted_talk_11__1_1_2 n131_a_ted_talk_11__1_1_1_1 WADV n131_a_ted_talk_11__1_1_1->n131_a_ted_talk_11__1_1_1_1 n131_a_ted_talk_11__1_1_1_1->n131_a_ted_talk_11__1_1_1_1_1 n131_a_ted_talk_11__1_1_2->n131_a_ted_talk_11__1_1_2_1 n131_a_ted_talk_11__1_2->n131_a_ted_talk_11__1_2_1 
( (CP-QUE-MAT (IP-SUB (ADVP-NIM (WADV Why;{why}))
                      (NEG not;{not}))
              (PUNC ?))
  (ID 131_a_ted_talk_11))


%3 z_0131_5005 z_0131_5002 z_0131_5005->z_0131_5002 [arg0] r_0131_0001__Why Why z_0131_5005->r_0131_0001__Why [nim] r_0131_0002__not not r_0131_0002__not->z_0131_5005 [keep_scope] 
arc(r_0131_0002__not,z_0131_5005,keep_scope).
arc(z_0131_5005,r_0131_0001__Why,nim).
arc(z_0131_5005,z_0131_5002,arg0).


%3 r_0131_0002__not not z_0131_5005 r_0131_0002__not->z_0131_5005 [keep_scope] r_0131_0001__Why Why z_0131_5005->r_0131_0001__Why [nim] z_0131_5002 z_0131_5005->z_0131_5002 [arg0] 
fof(formula,axiom,
    ~ ? [R_0131_0001__WHY,Z_0131_5002,Z_0131_5005] :
        ( r_0131_0001__Why(R_0131_0001__WHY)
        & z_0131_5002(Z_0131_5002)
        & z_0131_5005(Z_0131_5005)
        & has_arg0(Z_0131_5005,Z_0131_5002)
        & has_nim(Z_0131_5005,R_0131_0001__WHY) ) ).