( (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))

arc(r_0037_0003__contention,r_0037_0002__my,gen).
arc(r_0037_0004__is,r_0037_0003__contention,arg0).
arc(r_0037_0004__is,r_0037_0006__all__quant,prd).
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,attrib).

fof(formula,axiom,
    ? [R_0037_0002__MY,R_0037_0003__CONTENTION,R_0037_0004__IS] :
      ( r_0037_0002__my(R_0037_0002__MY)
      & r_0037_0004__is(R_0037_0004__IS)
      & ! [R_0037_0007__KIDS] :
          ( r_0037_0007__kids(R_0037_0007__KIDS)
         => ? [R_0037_0009__TREMENDOUS,R_0037_0010__TALENTS,R_0037_0008__HAVE] :
              ( r_0037_0009__tremendous(R_0037_0009__TREMENDOUS)
              & r_0037_0008__have(R_0037_0008__HAVE)
              & has_arg1(R_0037_0008__HAVE,R_0037_0010__TALENTS)
              & r_0037_0010__talents(R_0037_0010__TALENTS)
              & has_attrib(R_0037_0010__TALENTS,R_0037_0009__TREMENDOUS)
              & has_arg0(R_0037_0008__HAVE,R_0037_0007__KIDS) ) )
      & has_arg0(R_0037_0004__IS,R_0037_0003__CONTENTION)
      & r_0037_0003__contention(R_0037_0003__CONTENTION)
      & has_gen(R_0037_0003__CONTENTION,R_0037_0002__MY) ) ).