Context                Previous, Next                Top


178_a_ted_talk_11
Isn't that true?

%3 r_0178_0001__Is Is r_0178_0003__that that r_0178_0001__Is->r_0178_0003__that [arg0] r_0178_0004__true true r_0178_0001__Is->r_0178_0004__true [prd] r_0178_0002__n_apos_t n't r_0178_0002__n_apos_t->r_0178_0001__Is [keep_scope] 
arc(r_0178_0001__Is, r_0178_0003__that, arg0).
arc(r_0178_0001__Is, r_0178_0004__true, prd).
arc(r_0178_0002__n_apos_t, r_0178_0001__Is, keep_scope).


%3 r_0178_0001__Is Is r_0178_0003__that that r_0178_0001__Is->r_0178_0003__that [arg0] r_0178_0004__true true r_0178_0001__Is->r_0178_0004__true [prd] r_0178_0002__n_apos_t n't r_0178_0002__n_apos_t->r_0178_0001__Is [keep_scope] 
fof(formula,axiom,
    ~ ? [R_178_1_IS,R_178_3_THAT,R_178_4_TRUE] :
        ( that(R_178_3_THAT)
        & true(R_178_4_TRUE)
        & is(R_178_1_IS,R_178_3_THAT,R_178_4_TRUE) ) ).


n178_a_ted_talk_11 n178_a_ted_talk_11_4 Is n178_a_ted_talk_11_6 n't n178_a_ted_talk_11_9 that n178_a_ted_talk_11_12 true n178_a_ted_talk_11_14 ? n178_a_ted_talk_11_1 CP-QUE-MAT n178_a_ted_talk_11_2 IP-SUB n178_a_ted_talk_11_1->n178_a_ted_talk_11_2 n178_a_ted_talk_11_13 PUNC n178_a_ted_talk_11_1->n178_a_ted_talk_11_13 n178_a_ted_talk_11_3 BEP;_La_ n178_a_ted_talk_11_2->n178_a_ted_talk_11_3 n178_a_ted_talk_11_5 NEG;_clitic_ n178_a_ted_talk_11_2->n178_a_ted_talk_11_5 n178_a_ted_talk_11_7 NP-SBJ n178_a_ted_talk_11_2->n178_a_ted_talk_11_7 n178_a_ted_talk_11_10 ADJP-PRD n178_a_ted_talk_11_2->n178_a_ted_talk_11_10 n178_a_ted_talk_11_3->n178_a_ted_talk_11_4 n178_a_ted_talk_11_5->n178_a_ted_talk_11_6 n178_a_ted_talk_11_8 D;_nphd_ n178_a_ted_talk_11_7->n178_a_ted_talk_11_8 n178_a_ted_talk_11_8->n178_a_ted_talk_11_9 n178_a_ted_talk_11_11 ADJ n178_a_ted_talk_11_10->n178_a_ted_talk_11_11 n178_a_ted_talk_11_11->n178_a_ted_talk_11_12 n178_a_ted_talk_11_13->n178_a_ted_talk_11_14 
( (CP-QUE-MAT (IP-SUB (BEP;_La_ Is;{be})
                      (NEG;_clitic_ n<apos>t;{not})
                      (NP-SBJ (D;_nphd_ that;{that}))
                      (ADJP-PRD (ADJ true;{true})))
              (PUNC ?))
  (ID 178_a_ted_talk_11))