arc(r_0074_0004__have, r_0074_0002__these_r_0074_0003__things, arg0).
arc(r_0074_0004__have, r_0074_0005__in_common, nim14).
arc(r_0074_0004__have, z_000_74_a_ted_talk_11_2, arg1).
arc(r_0074_0006__is, r_0074_0007__that_r_0074_0009__will, prd).
arc(r_0074_0006__is, z_000_74_a_ted_talk_11_2, arg0).
arc(r_0074_0007__that_r_0074_0009__will, r_0074_0010__take, scope).
arc(r_0074_0010__take, r_0074_0008__kids, arg0).
arc(r_0074_0010__take, r_0074_0011__a_r_0074_0012__chance, arg1).

fof(formula,axiom,
    ? [R_0074_0002__THESE_R_0074_0003__THINGS,R_0074_0005__IN_COMMON,Z_000_74_A_TED_TALK_11_2,R_0074_0004__HAVE,R_0074_0008__KIDS,R_0074_0011__A_R_0074_0012__CHANCE,R_0074_0007__THAT_R_0074_0009__WILL_R_0074_0010__TAKE,R_0074_0006__IS] :
      ( r_0074_0002__these_r_0074_0003__things(R_0074_0002__THESE_R_0074_0003__THINGS)
      & r_0074_0005__in_common(R_0074_0005__IN_COMMON)
      & r_0074_0008__kids(R_0074_0008__KIDS)
      & r_0074_0011__a_r_0074_0012__chance(R_0074_0011__A_R_0074_0012__CHANCE)
      & z_000_74_a_ted_talk_11_2(Z_000_74_A_TED_TALK_11_2)
      & r_0074_0006__is(R_0074_0006__IS)
      & has_arg0(R_0074_0006__IS,Z_000_74_A_TED_TALK_11_2)
      & has_prd(R_0074_0006__IS,R_0074_0007__THAT_R_0074_0009__WILL_R_0074_0010__TAKE)
      & r_0074_0007__that_r_0074_0009__will_r_0074_0010__take(R_0074_0007__THAT_R_0074_0009__WILL_R_0074_0010__TAKE)
      & has_arg1(R_0074_0007__THAT_R_0074_0009__WILL_R_0074_0010__TAKE,R_0074_0011__A_R_0074_0012__CHANCE)
      & has_arg0(R_0074_0007__THAT_R_0074_0009__WILL_R_0074_0010__TAKE,R_0074_0008__KIDS)
      & r_0074_0004__have(R_0074_0004__HAVE)
      & has_arg1(R_0074_0004__HAVE,Z_000_74_A_TED_TALK_11_2)
      & has_nim14(R_0074_0004__HAVE,R_0074_0005__IN_COMMON)
      & has_arg0(R_0074_0004__HAVE,R_0074_0002__THESE_R_0074_0003__THINGS) ) ).

( (IP-MAT (NP-SBJ (IP-REL (NP-OB1 (RPRO What;{what}))
                          (NP-SBJ (D these;{these})
                                  (NS things;{thing}))
                          (HVP;_Tn_ have;{have})
                          (ADVP-NIM (ADV in_common;{in_common}))))
          (BEP;_equ_Vf_ is;{be})
          (CP-THT-PRD (IP-SUB (C that;{that})
                              (NP-SBJ;{KIDS} (NS kids;{kid}))
                              (MD;_cat_Vi_ will;{will})
                              (IP-INF-CAT (VB;_Tn_ take;{take})
                                          (NP-OB1 (D a;{a})
                                                  (N chance;{chance})))))
          (PUNC .))
  (ID 74_a_ted_talk_11))