Context                Previous, Next                Top


166_a_ted_talk_11
Is that right?

n166_a_ted_talk_11 n166_a_ted_talk_11__1_1_1_1 Is n166_a_ted_talk_11__1_1_2_1_1 that n166_a_ted_talk_11__1_1_3_1_1 right n166_a_ted_talk_11__1_2_1 ? n166_a_ted_talk_11__1 CP-QUE-MAT n166_a_ted_talk_11__1_1 IP-SUB n166_a_ted_talk_11__1->n166_a_ted_talk_11__1_1 n166_a_ted_talk_11__1_2 PUNC n166_a_ted_talk_11__1->n166_a_ted_talk_11__1_2 n166_a_ted_talk_11__1_1_1 BEP;_La_ n166_a_ted_talk_11__1_1->n166_a_ted_talk_11__1_1_1 n166_a_ted_talk_11__1_1_2 NP-SBJ n166_a_ted_talk_11__1_1->n166_a_ted_talk_11__1_1_2 n166_a_ted_talk_11__1_1_3 ADJP-PRD n166_a_ted_talk_11__1_1->n166_a_ted_talk_11__1_1_3 n166_a_ted_talk_11__1_1_1->n166_a_ted_talk_11__1_1_1_1 n166_a_ted_talk_11__1_1_2_1 D;_nphd_ n166_a_ted_talk_11__1_1_2->n166_a_ted_talk_11__1_1_2_1 n166_a_ted_talk_11__1_1_2_1->n166_a_ted_talk_11__1_1_2_1_1 n166_a_ted_talk_11__1_1_3_1 ADJ n166_a_ted_talk_11__1_1_3->n166_a_ted_talk_11__1_1_3_1 n166_a_ted_talk_11__1_1_3_1->n166_a_ted_talk_11__1_1_3_1_1 n166_a_ted_talk_11__1_2->n166_a_ted_talk_11__1_2_1 
( (CP-QUE-MAT (IP-SUB (BEP;_La_ Is;{be})
                      (NP-SBJ (D;_nphd_ that;{that}))
                      (ADJP-PRD (ADJ right;{right})))
              (PUNC ?))
  (ID 166_a_ted_talk_11))


%3 r_0166_0001__Is Is r_0166_0003__right right r_0166_0001__Is->r_0166_0003__right [prd] r_0166_0002__that that r_0166_0001__Is->r_0166_0002__that [arg0] 
arc(r_0166_0001__Is,r_0166_0002__that,arg0).
arc(r_0166_0001__Is,r_0166_0003__right,prd).


%3 r_0166_0001__Is Is r_0166_0002__that that r_0166_0001__Is->r_0166_0002__that [arg0] r_0166_0003__right right r_0166_0001__Is->r_0166_0003__right [prd] 
fof(formula,axiom,
    ? [R_0166_0002__THAT,R_0166_0003__RIGHT,R_0166_0001__IS] :
      ( r_0166_0002__that(R_0166_0002__THAT)
      & r_0166_0003__right(R_0166_0003__RIGHT)
      & r_0166_0001__Is(R_0166_0001__IS)
      & has_prd(R_0166_0001__IS,R_0166_0003__RIGHT)
      & has_arg0(R_0166_0001__IS,R_0166_0002__THAT) ) ).