Context                Previous, Next                Top


76_a_ted_talk_11
Am I right?

%3 r_0076_0001__Am Am r_0076_0002__I I r_0076_0001__Am->r_0076_0002__I [arg0] r_0076_0003__right right r_0076_0001__Am->r_0076_0003__right [clr] 
arc(r_0076_0001__Am, r_0076_0002__I, arg0).
arc(r_0076_0001__Am, r_0076_0003__right, clr8).


%3 r_0076_0001__Am Am r_0076_0003__right right r_0076_0001__Am->r_0076_0003__right [clr] r_0076_0002__I I r_0076_0001__Am->r_0076_0002__I [arg0] 
fof(formula,axiom,
    ? [R_76_1_AM,R_76_2_I,R_76_3_RIGHT] :
      ( i(R_76_2_I)
      & right(R_76_3_RIGHT)
      & am(R_76_1_AM,R_76_2_I)
      & clr8(R_76_1_AM,R_76_3_RIGHT) ) ).


n76_a_ted_talk_11 n76_a_ted_talk_11__1_1_1_1 Am n76_a_ted_talk_11__1_1_2_1_1 I n76_a_ted_talk_11__1_1_3_1_1 right n76_a_ted_talk_11__1_2_1 ? n76_a_ted_talk_11__1 CP-QUE-MAT n76_a_ted_talk_11__1_1 IP-SUB n76_a_ted_talk_11__1->n76_a_ted_talk_11__1_1 n76_a_ted_talk_11__1_2 PUNC n76_a_ted_talk_11__1->n76_a_ted_talk_11__1_2 n76_a_ted_talk_11__1_1_1 BEP;_Ip_ n76_a_ted_talk_11__1_1->n76_a_ted_talk_11__1_1_1 n76_a_ted_talk_11__1_1_2 NP-SBJ n76_a_ted_talk_11__1_1->n76_a_ted_talk_11__1_1_2 n76_a_ted_talk_11__1_1_3 ADVP-CLR n76_a_ted_talk_11__1_1->n76_a_ted_talk_11__1_1_3 n76_a_ted_talk_11__1_1_1->n76_a_ted_talk_11__1_1_1_1 n76_a_ted_talk_11__1_1_2_1 PRO n76_a_ted_talk_11__1_1_2->n76_a_ted_talk_11__1_1_2_1 n76_a_ted_talk_11__1_1_2_1->n76_a_ted_talk_11__1_1_2_1_1 n76_a_ted_talk_11__1_1_3_1 ADV n76_a_ted_talk_11__1_1_3->n76_a_ted_talk_11__1_1_3_1 n76_a_ted_talk_11__1_1_3_1->n76_a_ted_talk_11__1_1_3_1_1 n76_a_ted_talk_11__1_2->n76_a_ted_talk_11__1_2_1 
( (CP-QUE-MAT (IP-SUB (BEP;_Ip_ Am;{be})
                      (NP-SBJ (PRO I;{I}))
                      (ADVP-CLR (ADV right;{right})))
              (PUNC ?))
  (ID 76_a_ted_talk_11))