Context                Previous, Next                Top


154_a_ted_talk_11
Don't they?

n154_a_ted_talk_11 n154_a_ted_talk_11__1_1_1_1 Do n154_a_ted_talk_11__1_1_2_1 n't n154_a_ted_talk_11__1_1_3_1_1 they n154_a_ted_talk_11__1_2_1 ? n154_a_ted_talk_11__1 CP-QUE-MAT n154_a_ted_talk_11__1_1 IP-SUB n154_a_ted_talk_11__1->n154_a_ted_talk_11__1_1 n154_a_ted_talk_11__1_2 PUNC n154_a_ted_talk_11__1->n154_a_ted_talk_11__1_2 n154_a_ted_talk_11__1_1_1 DOP n154_a_ted_talk_11__1_1->n154_a_ted_talk_11__1_1_1 n154_a_ted_talk_11__1_1_2 NEG;_clitic_ n154_a_ted_talk_11__1_1->n154_a_ted_talk_11__1_1_2 n154_a_ted_talk_11__1_1_3 NP-SBJ n154_a_ted_talk_11__1_1->n154_a_ted_talk_11__1_1_3 n154_a_ted_talk_11__1_1_1->n154_a_ted_talk_11__1_1_1_1 n154_a_ted_talk_11__1_1_2->n154_a_ted_talk_11__1_1_2_1 n154_a_ted_talk_11__1_1_3_1 PRO n154_a_ted_talk_11__1_1_3->n154_a_ted_talk_11__1_1_3_1 n154_a_ted_talk_11__1_1_3_1->n154_a_ted_talk_11__1_1_3_1_1 n154_a_ted_talk_11__1_2->n154_a_ted_talk_11__1_2_1 
( (CP-QUE-MAT (IP-SUB (DOP Do;{do})
                      (NEG;_clitic_ n<apos>t;{not})
                      (NP-SBJ;{PROFESSORS} (PRO they;{they})))
              (PUNC ?))
  (ID 154_a_ted_talk_11))


%3 r_0154_0002__n_apos_t n't r_0154_0001__Do Do r_0154_0002__n_apos_t->r_0154_0001__Do [keep_scope] r_0154_0003__they they r_0154_0001__Do->r_0154_0003__they [arg0] 
arc(r_0154_0001__Do,r_0154_0003__they,arg0).
arc(r_0154_0002__n_apos_t,r_0154_0001__Do,keep_scope).


%3 r_0154_0001__Do Do r_0154_0003__they they r_0154_0001__Do->r_0154_0003__they [arg0] r_0154_0002__n_apos_t n't r_0154_0002__n_apos_t->r_0154_0001__Do [keep_scope] 
fof(formula,axiom,
    ~ ? [R_0154_0003__THEY,R_0154_0001__DO] :
        ( r_0154_0003__they(R_0154_0003__THEY)
        & r_0154_0001__Do(R_0154_0001__DO)
        & has_arg0(R_0154_0001__DO,R_0154_0003__THEY) ) ).