Context                Previous, Next                Top


37_a_ted_talk_11
And my contention is, all kids have tremendous talents.

%3 r_0037_0001__And_r_0037_0004__is And is r_0037_0003__contention contention r_0037_0001__And_r_0037_0004__is->r_0037_0003__contention [arg0] r_0037_0006__all_quant all [quant] r_0037_0001__And_r_0037_0004__is->r_0037_0006__all_quant [prd] r_0037_0002__my my r_0037_0003__contention->r_0037_0002__my [gen] r_0037_0007__kids kids r_0037_0006__all_quant->r_0037_0007__kids [restriction] r_0037_0008__have have r_0037_0006__all_quant->r_0037_0008__have [scope] r_0037_0008__have->r_0037_0007__kids [arg0] r_0037_0010__talents talents r_0037_0008__have->r_0037_0010__talents [arg1] r_0037_0009__tremendous tremendous r_0037_0010__talents->r_0037_0009__tremendous [attrib] 
arc(r_0037_0001__And_r_0037_0004__is, r_0037_0003__contention, arg0).
arc(r_0037_0001__And_r_0037_0004__is, r_0037_0006__all_quant, prd).
arc(r_0037_0003__contention, r_0037_0002__my, gen).
arc(r_0037_0006__all_quant, r_0037_0007__kids, restriction).
arc(r_0037_0006__all_quant, r_0037_0008__have, scope).
arc(r_0037_0008__have, r_0037_0007__kids, arg0).
arc(r_0037_0008__have, r_0037_0010__talents, arg1).
arc(r_0037_0010__talents, r_0037_0009__tremendous, attrib24).


%3 r_0037_0010__talents talents r_0037_0009__tremendous tremendous r_0037_0010__talents->r_0037_0009__tremendous [attrib] r_0037_0008__have have r_0037_0008__have->r_0037_0010__talents [arg1] r_0037_0007__kids kids r_0037_0008__have->r_0037_0007__kids [arg0] r_0037_0006__all_quant all [quant] r_0037_0006__all_quant->r_0037_0008__have [scope] r_0037_0006__all_quant->r_0037_0007__kids [restriction] r_0037_0003__contention contention r_0037_0002__my my r_0037_0003__contention->r_0037_0002__my [gen] r_0037_0001__And_r_0037_0004__is And is r_0037_0001__And_r_0037_0004__is->r_0037_0006__all_quant [prd] r_0037_0001__And_r_0037_0004__is->r_0037_0003__contention [arg0] 
fof(formula,axiom,
    ? [R_37_1_AND_IS,R_37_3_CONTENTION,R_37_2_MY] :
      ( my(R_37_2_MY)
      & ! [R_37_7_KIDS] :
          ( kids(R_37_7_KIDS)
         => ? [R_37_8_HAVE,R_37_10_TALENTS,R_37_9_TREMENDOUS] :
              ( tremendous(R_37_9_TREMENDOUS)
              & have(R_37_8_HAVE,R_37_7_KIDS,R_37_10_TALENTS)
              & talents(R_37_10_TALENTS)
              & attrib24(R_37_10_TALENTS,R_37_9_TREMENDOUS) ) )
      & prd(PRD)
      & and_is(R_37_1_AND_IS,R_37_3_CONTENTION)
      & contention(R_37_3_CONTENTION)
      & gen(R_37_3_CONTENTION,R_37_2_MY) ) ).


n37_a_ted_talk_11 n37_a_ted_talk_11__1_1_1 And n37_a_ted_talk_11__1_2_1_1_1 my n37_a_ted_talk_11__1_2_2_1 contention n37_a_ted_talk_11__1_3_1 is n37_a_ted_talk_11__1_4_1 , n37_a_ted_talk_11__1_5_1_1_1_1 all n37_a_ted_talk_11__1_5_1_1_2_1 kids n37_a_ted_talk_11__1_5_1_2_1 have n37_a_ted_talk_11__1_5_1_3_1_1_1 tremendous n37_a_ted_talk_11__1_5_1_3_2_1 talents n37_a_ted_talk_11__1_6_1 . n37_a_ted_talk_11__1 IP-MAT n37_a_ted_talk_11__1_1 CONJ;_cl_ n37_a_ted_talk_11__1->n37_a_ted_talk_11__1_1 n37_a_ted_talk_11__1_2 NP-SBJ n37_a_ted_talk_11__1->n37_a_ted_talk_11__1_2 n37_a_ted_talk_11__1_3 BEP;_equ_Vf_ n37_a_ted_talk_11__1->n37_a_ted_talk_11__1_3 n37_a_ted_talk_11__1_4 PUNC n37_a_ted_talk_11__1->n37_a_ted_talk_11__1_4 n37_a_ted_talk_11__1_5 CP-THT-PRD n37_a_ted_talk_11__1->n37_a_ted_talk_11__1_5 n37_a_ted_talk_11__1_6 PUNC n37_a_ted_talk_11__1->n37_a_ted_talk_11__1_6 n37_a_ted_talk_11__1_1->n37_a_ted_talk_11__1_1_1 n37_a_ted_talk_11__1_2_1 NP-GEN n37_a_ted_talk_11__1_2->n37_a_ted_talk_11__1_2_1 n37_a_ted_talk_11__1_2_2 N n37_a_ted_talk_11__1_2->n37_a_ted_talk_11__1_2_2 n37_a_ted_talk_11__1_2_1_1 PRO;_genm_ n37_a_ted_talk_11__1_2_1->n37_a_ted_talk_11__1_2_1_1 n37_a_ted_talk_11__1_2_1_1->n37_a_ted_talk_11__1_2_1_1_1 n37_a_ted_talk_11__1_2_2->n37_a_ted_talk_11__1_2_2_1 n37_a_ted_talk_11__1_3->n37_a_ted_talk_11__1_3_1 n37_a_ted_talk_11__1_4->n37_a_ted_talk_11__1_4_1 n37_a_ted_talk_11__1_5_1 IP-SUB n37_a_ted_talk_11__1_5->n37_a_ted_talk_11__1_5_1 n37_a_ted_talk_11__1_5_1_1 NP-SBJ n37_a_ted_talk_11__1_5_1->n37_a_ted_talk_11__1_5_1_1 n37_a_ted_talk_11__1_5_1_2 HVP;_Tn_ n37_a_ted_talk_11__1_5_1->n37_a_ted_talk_11__1_5_1_2 n37_a_ted_talk_11__1_5_1_3 NP-OB1 n37_a_ted_talk_11__1_5_1->n37_a_ted_talk_11__1_5_1_3 n37_a_ted_talk_11__1_5_1_1_1 Q n37_a_ted_talk_11__1_5_1_1->n37_a_ted_talk_11__1_5_1_1_1 n37_a_ted_talk_11__1_5_1_1_2 NS n37_a_ted_talk_11__1_5_1_1->n37_a_ted_talk_11__1_5_1_1_2 n37_a_ted_talk_11__1_5_1_1_1->n37_a_ted_talk_11__1_5_1_1_1_1 n37_a_ted_talk_11__1_5_1_1_2->n37_a_ted_talk_11__1_5_1_1_2_1 n37_a_ted_talk_11__1_5_1_2->n37_a_ted_talk_11__1_5_1_2_1 n37_a_ted_talk_11__1_5_1_3_1 ADJP n37_a_ted_talk_11__1_5_1_3->n37_a_ted_talk_11__1_5_1_3_1 n37_a_ted_talk_11__1_5_1_3_2 NS n37_a_ted_talk_11__1_5_1_3->n37_a_ted_talk_11__1_5_1_3_2 n37_a_ted_talk_11__1_5_1_3_1_1 ADJ n37_a_ted_talk_11__1_5_1_3_1->n37_a_ted_talk_11__1_5_1_3_1_1 n37_a_ted_talk_11__1_5_1_3_1_1->n37_a_ted_talk_11__1_5_1_3_1_1_1 n37_a_ted_talk_11__1_5_1_3_2->n37_a_ted_talk_11__1_5_1_3_2_1 n37_a_ted_talk_11__1_6->n37_a_ted_talk_11__1_6_1 
( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ (NP-GEN (PRO;_genm_ my;{my}))
                  (N contention;{contention}))
          (BEP;_equ_Vf_ is;{be})
          (PUNC ,)
          (CP-THT-PRD (IP-SUB (NP-SBJ (Q all;{all})
                                      (NS kids;{kid}))
                              (HVP;_Tn_ have;{have})
                              (NP-OB1;{KIDSTALENTS} (ADJP (ADJ tremendous;{tremendous}))
                                                    (NS talents;{talent}))))
          (PUNC .))
  (ID 37_a_ted_talk_11))