Context                Previous, Next                Top


144_a_ted_talk_11
Isn't it?

%3 r_0144_0001__Is_r_0144_0002__n_apos_t Is n't r_0144_0003__it it r_0144_0001__Is_r_0144_0002__n_apos_t->r_0144_0003__it [arg0] 
arc(r_0144_0001__Is_r_0144_0002__n_apos_t, r_0144_0003__it, arg0).


%3 r_0144_0001__Is_r_0144_0002__n_apos_t Is n't r_0144_0003__it it r_0144_0001__Is_r_0144_0002__n_apos_t->r_0144_0003__it [arg0] 
fof(formula,axiom,
    ? [R_0144_0003__IT,R_0144_0001__IS_R_0144_0002__N_APOS_T] :
      ( r_0144_0003__it(R_0144_0003__IT)
      & ~ has_arg0(R_0144_0001__IS_R_0144_0002__N_APOS_T,R_0144_0003__IT) ) ).


n144_a_ted_talk_11 n144_a_ted_talk_11__1_1_1_1 Is n144_a_ted_talk_11__1_1_2_1 n't n144_a_ted_talk_11__1_1_3_1_1 it n144_a_ted_talk_11__1_2_1 ? n144_a_ted_talk_11__1 CP-QUE-MAT n144_a_ted_talk_11__1_1 IP-SUB n144_a_ted_talk_11__1->n144_a_ted_talk_11__1_1 n144_a_ted_talk_11__1_2 PUNC n144_a_ted_talk_11__1->n144_a_ted_talk_11__1_2 n144_a_ted_talk_11__1_1_1 BEP;_equ_Vt_ n144_a_ted_talk_11__1_1->n144_a_ted_talk_11__1_1_1 n144_a_ted_talk_11__1_1_2 NEG;_clitic_ n144_a_ted_talk_11__1_1->n144_a_ted_talk_11__1_1_2 n144_a_ted_talk_11__1_1_3 NP-SBJ n144_a_ted_talk_11__1_1->n144_a_ted_talk_11__1_1_3 n144_a_ted_talk_11__1_1_1->n144_a_ted_talk_11__1_1_1_1 n144_a_ted_talk_11__1_1_2->n144_a_ted_talk_11__1_1_2_1 n144_a_ted_talk_11__1_1_3_1 PRO n144_a_ted_talk_11__1_1_3->n144_a_ted_talk_11__1_1_3_1 n144_a_ted_talk_11__1_1_3_1->n144_a_ted_talk_11__1_1_3_1_1 n144_a_ted_talk_11__1_2->n144_a_ted_talk_11__1_2_1 
( (CP-QUE-MAT (IP-SUB (BEP;_equ_Vt_ Is;{be})
                      (NEG;_clitic_ n<apos>t;{not})
                      (NP-SBJ (PRO it;{it})))
              (PUNC ?))
  (ID 144_a_ted_talk_11))