Context                Previous, Next                Top


131_a_ted_talk_11
Why not?

%3 r_0131_0002__not not z_000_131_a_ted_talk_11_2 r_0131_0002__not->z_000_131_a_ted_talk_11_2 [keep_scope] r_0131_0001__Why Why z_000_131_a_ted_talk_11_2->r_0131_0001__Why [nim] 
arc(r_0131_0002__not, z_000_131_a_ted_talk_11_2, keep_scope).
arc(z_000_131_a_ted_talk_11_2, r_0131_0001__Why, nim3).


%3 r_0131_0002__not not z_000_131_a_ted_talk_11_2 r_0131_0002__not->z_000_131_a_ted_talk_11_2 [keep_scope] r_0131_0001__Why Why z_000_131_a_ted_talk_11_2->r_0131_0001__Why [nim] 
fof(formula,axiom,
    ~ ? [Z_131_A_TED_TALK_11_2,R_131_1_WHY] :
        ( why(R_131_1_WHY)
        & z_131_a_ted_talk_11_2(Z_131_A_TED_TALK_11_2)
        & nim3(Z_131_A_TED_TALK_11_2,R_131_1_WHY) ) ).


n131_a_ted_talk_11 n131_a_ted_talk_11_5 Why n131_a_ted_talk_11_7 not n131_a_ted_talk_11_9 ? n131_a_ted_talk_11_1 CP-QUE-MAT n131_a_ted_talk_11_2 IP-SUB n131_a_ted_talk_11_1->n131_a_ted_talk_11_2 n131_a_ted_talk_11_8 PUNC n131_a_ted_talk_11_1->n131_a_ted_talk_11_8 n131_a_ted_talk_11_3 ADVP-NIM n131_a_ted_talk_11_2->n131_a_ted_talk_11_3 n131_a_ted_talk_11_6 NEG n131_a_ted_talk_11_2->n131_a_ted_talk_11_6 n131_a_ted_talk_11_4 WADV n131_a_ted_talk_11_3->n131_a_ted_talk_11_4 n131_a_ted_talk_11_4->n131_a_ted_talk_11_5 n131_a_ted_talk_11_6->n131_a_ted_talk_11_7 n131_a_ted_talk_11_8->n131_a_ted_talk_11_9 
( (CP-QUE-MAT (IP-SUB (ADVP-NIM (WADV Why;{why}))
                      (NEG not;{not}))
              (PUNC ?))
  (ID 131_a_ted_talk_11))