Context                Previous, Next                Top


155_a_ted_talk_11
Don't they?

%3 r_0155_0001__Do_r_0155_1001____star__ Do  * r_0155_0003__they they r_0155_0001__Do_r_0155_1001____star__->r_0155_0003__they [arg0] r_0155_0002__n_apos_t n't r_0155_0002__n_apos_t->r_0155_0001__Do_r_0155_1001____star__ [keep_scope] 
arc(r_0155_0001__Do_r_0155_1001____star__, r_0155_0003__they, arg0).
arc(r_0155_0002__n_apos_t, r_0155_0001__Do_r_0155_1001____star__, keep_scope).


%3 r_0155_0001__Do_r_0155_1001____star__ Do  * r_0155_0003__they they r_0155_0001__Do_r_0155_1001____star__->r_0155_0003__they [arg0] r_0155_0002__n_apos_t n't r_0155_0002__n_apos_t->r_0155_0001__Do_r_0155_1001____star__ [keep_scope] 
fof(formula,axiom,
    ~ ? [R_155_1_DO__STAR_,R_155_3_THEY] :
        ( they(R_155_3_THEY)
        & do__star_(R_155_1_DO__STAR_,R_155_3_THEY) ) ).


n155_a_ted_talk_11 n155_a_ted_talk_11_4 Do n155_a_ted_talk_11_6 n't n155_a_ted_talk_11_9 they n155_a_ted_talk_11_11 _*_ n155_a_ted_talk_11_13 ? n155_a_ted_talk_11_1 CP-QUE-MAT n155_a_ted_talk_11_2 IP-SUB n155_a_ted_talk_11_1->n155_a_ted_talk_11_2 n155_a_ted_talk_11_12 PUNC n155_a_ted_talk_11_1->n155_a_ted_talk_11_12 n155_a_ted_talk_11_3 DOP n155_a_ted_talk_11_2->n155_a_ted_talk_11_3 n155_a_ted_talk_11_5 NEG;_clitic_ n155_a_ted_talk_11_2->n155_a_ted_talk_11_5 n155_a_ted_talk_11_7 NP-SBJ n155_a_ted_talk_11_2->n155_a_ted_talk_11_7 n155_a_ted_talk_11_10 VB n155_a_ted_talk_11_2->n155_a_ted_talk_11_10 n155_a_ted_talk_11_3->n155_a_ted_talk_11_4 n155_a_ted_talk_11_5->n155_a_ted_talk_11_6 n155_a_ted_talk_11_8 PRO n155_a_ted_talk_11_7->n155_a_ted_talk_11_8 n155_a_ted_talk_11_8->n155_a_ted_talk_11_9 n155_a_ted_talk_11_10->n155_a_ted_talk_11_11 n155_a_ted_talk_11_12->n155_a_ted_talk_11_13 
( (CP-QUE-MAT (IP-SUB (DOP Do;{do})
                      (NEG;_clitic_ n<apos>t;{not})
                      (NP-SBJ;{PROFESSORS} (PRO they;{they}))
                      (VB _*_))
              (PUNC ?))
  (ID 155_a_ted_talk_11))