Context                Previous, Next                Top


167_a_ted_talk_11
Is that right?

%3 r_0167_0001__Is Is r_0167_0002__that that r_0167_0001__Is->r_0167_0002__that [arg0] r_0167_0003__right right r_0167_0001__Is->r_0167_0003__right [prd] 
arc(r_0167_0001__Is, r_0167_0002__that, arg0).
arc(r_0167_0001__Is, r_0167_0003__right, prd).


%3 r_0167_0001__Is Is r_0167_0002__that that r_0167_0001__Is->r_0167_0002__that [arg0] r_0167_0003__right right r_0167_0001__Is->r_0167_0003__right [prd] 
fof(formula,axiom,
    ? [R_167_1_IS,R_167_2_THAT,R_167_3_RIGHT] :
      ( that(R_167_2_THAT)
      & right(R_167_3_RIGHT)
      & is(R_167_1_IS,R_167_2_THAT,R_167_3_RIGHT) ) ).


n167_a_ted_talk_11 n167_a_ted_talk_11_4 Is n167_a_ted_talk_11_7 that n167_a_ted_talk_11_10 right n167_a_ted_talk_11_12 ? n167_a_ted_talk_11_1 CP-QUE-MAT n167_a_ted_talk_11_2 IP-SUB n167_a_ted_talk_11_1->n167_a_ted_talk_11_2 n167_a_ted_talk_11_11 PUNC n167_a_ted_talk_11_1->n167_a_ted_talk_11_11 n167_a_ted_talk_11_3 BEP;_La_ n167_a_ted_talk_11_2->n167_a_ted_talk_11_3 n167_a_ted_talk_11_5 NP-SBJ n167_a_ted_talk_11_2->n167_a_ted_talk_11_5 n167_a_ted_talk_11_8 ADJP-PRD n167_a_ted_talk_11_2->n167_a_ted_talk_11_8 n167_a_ted_talk_11_3->n167_a_ted_talk_11_4 n167_a_ted_talk_11_6 D;_nphd_ n167_a_ted_talk_11_5->n167_a_ted_talk_11_6 n167_a_ted_talk_11_6->n167_a_ted_talk_11_7 n167_a_ted_talk_11_9 ADJ n167_a_ted_talk_11_8->n167_a_ted_talk_11_9 n167_a_ted_talk_11_9->n167_a_ted_talk_11_10 n167_a_ted_talk_11_11->n167_a_ted_talk_11_12 
( (CP-QUE-MAT (IP-SUB (BEP;_La_ Is;{be})
                      (NP-SBJ (D;_nphd_ that;{that}))
                      (ADJP-PRD (ADJ right;{right})))
              (PUNC ?))
  (ID 167_a_ted_talk_11))