Context                Previous, Next                Top


178_a_ted_talk_11
Isn't that true?

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


%3 r_0178_0001__Is_r_0178_0002__n_apos_t Is n't r_0178_0004__true true r_0178_0001__Is_r_0178_0002__n_apos_t->r_0178_0004__true [prd] r_0178_0003__that that r_0178_0001__Is_r_0178_0002__n_apos_t->r_0178_0003__that [arg0] 
fof(formula,axiom,
    ? [R_0178_0003__THAT,R_0178_0004__TRUE,R_0178_0001__IS_R_0178_0002__N_APOS_T] :
      ( r_0178_0003__that(R_0178_0003__THAT)
      & r_0178_0004__true(R_0178_0004__TRUE)
      & ~ ( has_prd(R_0178_0001__IS_R_0178_0002__N_APOS_T,R_0178_0004__TRUE)
          & has_arg0(R_0178_0001__IS_R_0178_0002__N_APOS_T,R_0178_0003__THAT) ) ) ).


n178_a_ted_talk_11 n178_a_ted_talk_11__1_1_1_1 Is n178_a_ted_talk_11__1_1_2_1 n't n178_a_ted_talk_11__1_1_3_1_1 that n178_a_ted_talk_11__1_1_4_1_1 true n178_a_ted_talk_11__1_2_1 ? n178_a_ted_talk_11__1 CP-QUE-MAT n178_a_ted_talk_11__1_1 IP-SUB n178_a_ted_talk_11__1->n178_a_ted_talk_11__1_1 n178_a_ted_talk_11__1_2 PUNC n178_a_ted_talk_11__1->n178_a_ted_talk_11__1_2 n178_a_ted_talk_11__1_1_1 BEP;_La_ n178_a_ted_talk_11__1_1->n178_a_ted_talk_11__1_1_1 n178_a_ted_talk_11__1_1_2 NEG;_clitic_ n178_a_ted_talk_11__1_1->n178_a_ted_talk_11__1_1_2 n178_a_ted_talk_11__1_1_3 NP-SBJ n178_a_ted_talk_11__1_1->n178_a_ted_talk_11__1_1_3 n178_a_ted_talk_11__1_1_4 ADJP-PRD n178_a_ted_talk_11__1_1->n178_a_ted_talk_11__1_1_4 n178_a_ted_talk_11__1_1_1->n178_a_ted_talk_11__1_1_1_1 n178_a_ted_talk_11__1_1_2->n178_a_ted_talk_11__1_1_2_1 n178_a_ted_talk_11__1_1_3_1 D;_nphd_ n178_a_ted_talk_11__1_1_3->n178_a_ted_talk_11__1_1_3_1 n178_a_ted_talk_11__1_1_3_1->n178_a_ted_talk_11__1_1_3_1_1 n178_a_ted_talk_11__1_1_4_1 ADJ n178_a_ted_talk_11__1_1_4->n178_a_ted_talk_11__1_1_4_1 n178_a_ted_talk_11__1_1_4_1->n178_a_ted_talk_11__1_1_4_1_1 n178_a_ted_talk_11__1_2->n178_a_ted_talk_11__1_2_1 
( (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))