arc(utterance_71_a_ted_talk_11_81, r_0071_0030__bring, part1).
arc(r_0071_0004__came, r_0071_0001__The_r_0071_0002__three_r_0071_0003__boys, arg0).
arc(r_0071_0004__came, r_0071_0005__in, clr17).
arc(r_0071_0007__four__hyphen__year__hyphen__olds, r_0071_0009__tea_r_0071_0010__towels, r_0071_0008__with).
arc(r_0071_0009__tea_r_0071_0010__towels, r_0071_0013__heads, r_0071_0011__on).
arc(r_0071_0013__heads, r_0071_0001__The_r_0071_0002__three_r_0071_0003__boys, gen).
arc(r_0071_0015__and, r_0071_0004__came, conj1).
arc(r_0071_0015__and, r_0071_0017__put, conj2).
arc(r_0071_0017__put, r_0071_0001__The_r_0071_0002__three_r_0071_0003__boys, arg0).
arc(r_0071_0017__put, r_0071_0018__these_r_0071_0019__boxes, arg1).
arc(r_0071_0017__put, r_0071_0020__down, clr59).
arc(r_0071_0022__and, r_0071_0015__and, conj1).
arc(r_0071_0022__and, r_0071_0026__said, conj2).
arc(r_0071_0026__said, utterance_71_a_ted_talk_11_81, arg1).
arc(r_0071_0026__said, r_0071_0023__the_r_0071_0024__first_r_0071_0025__boy, arg0).
arc(r_0071_0030__bring, r_0071_0023__the_r_0071_0024__first_r_0071_0025__boy, arg0).
arc(r_0071_0030__bring, r_0071_0031__you, arg2).
arc(r_0071_0030__bring, r_0071_0032__gold, arg1).
arc(z_000_71_a_ted_talk_11_22, r_0071_0001__The_r_0071_0002__three_r_0071_0003__boys, arg0).
arc(z_000_71_a_ted_talk_11_22, r_0071_0007__four__hyphen__year__hyphen__olds, prd).

fof(formula,axiom,
    ? [R_0071_0001__THE_R_0071_0002__THREE_R_0071_0003__BOYS,R_0071_0005__IN,R_0071_0004__CAME,R_0071_0018__THESE_R_0071_0019__BOXES,R_0071_0020__DOWN,R_0071_0017__PUT,R_0071_0015__AND,R_0071_0023__THE_R_0071_0024__FIRST_R_0071_0025__BOY,R_0071_0031__YOU,R_0071_0032__GOLD,R_0071_0030__BRING,UTTERANCE_71_A_TED_TALK_11_81,R_0071_0026__SAID,R_0071_0022__AND,R_0071_0013__HEADS,R_0071_0009__TEA_R_0071_0010__TOWELS,R_0071_0007__FOUR__HYPHEN__YEAR__HYPHEN__OLDS,Z_000_71_A_TED_TALK_11_22] :
      ( r_0071_0001__The_r_0071_0002__three_r_0071_0003__boys(R_0071_0001__THE_R_0071_0002__THREE_R_0071_0003__BOYS)
      & r_0071_0005__in(R_0071_0005__IN)
      & r_0071_0018__these_r_0071_0019__boxes(R_0071_0018__THESE_R_0071_0019__BOXES)
      & r_0071_0020__down(R_0071_0020__DOWN)
      & r_0071_0023__the_r_0071_0024__first_r_0071_0025__boy(R_0071_0023__THE_R_0071_0024__FIRST_R_0071_0025__BOY)
      & r_0071_0031__you(R_0071_0031__YOU)
      & r_0071_0032__gold(R_0071_0032__GOLD)
      & z_000_71_a_ted_talk_11_22(Z_000_71_A_TED_TALK_11_22)
      & has_prd(Z_000_71_A_TED_TALK_11_22,R_0071_0007__FOUR__HYPHEN__YEAR__HYPHEN__OLDS)
      & r_0071_0007__four__hyphen__year__hyphen__olds(R_0071_0007__FOUR__HYPHEN__YEAR__HYPHEN__OLDS)
      & has_r_0071_0008__with(R_0071_0007__FOUR__HYPHEN__YEAR__HYPHEN__OLDS,R_0071_0009__TEA_R_0071_0010__TOWELS)
      & r_0071_0009__tea_r_0071_0010__towels(R_0071_0009__TEA_R_0071_0010__TOWELS)
      & has_r_0071_0011__on(R_0071_0009__TEA_R_0071_0010__TOWELS,R_0071_0013__HEADS)
      & r_0071_0013__heads(R_0071_0013__HEADS)
      & has_gen(R_0071_0013__HEADS,R_0071_0001__THE_R_0071_0002__THREE_R_0071_0003__BOYS)
      & has_arg0(Z_000_71_A_TED_TALK_11_22,R_0071_0001__THE_R_0071_0002__THREE_R_0071_0003__BOYS)
      & r_0071_0022__and(R_0071_0022__AND)
      & has_conj2(R_0071_0022__AND,R_0071_0026__SAID)
      & r_0071_0026__said(R_0071_0026__SAID)
      & has_arg0(R_0071_0026__SAID,R_0071_0023__THE_R_0071_0024__FIRST_R_0071_0025__BOY)
      & has_arg1(R_0071_0026__SAID,UTTERANCE_71_A_TED_TALK_11_81)
      & utterance_71_a_ted_talk_11_81(UTTERANCE_71_A_TED_TALK_11_81)
      & has_part1(UTTERANCE_71_A_TED_TALK_11_81,R_0071_0030__BRING)
      & r_0071_0030__bring(R_0071_0030__BRING)
      & has_arg1(R_0071_0030__BRING,R_0071_0032__GOLD)
      & has_arg2(R_0071_0030__BRING,R_0071_0031__YOU)
      & has_arg0(R_0071_0030__BRING,R_0071_0023__THE_R_0071_0024__FIRST_R_0071_0025__BOY)
      & has_conj1(R_0071_0022__AND,R_0071_0015__AND)
      & r_0071_0015__and(R_0071_0015__AND)
      & has_conj2(R_0071_0015__AND,R_0071_0017__PUT)
      & r_0071_0017__put(R_0071_0017__PUT)
      & has_clr59(R_0071_0017__PUT,R_0071_0020__DOWN)
      & has_arg1(R_0071_0017__PUT,R_0071_0018__THESE_R_0071_0019__BOXES)
      & has_arg0(R_0071_0017__PUT,R_0071_0001__THE_R_0071_0002__THREE_R_0071_0003__BOYS)
      & has_conj1(R_0071_0015__AND,R_0071_0004__CAME)
      & r_0071_0004__came(R_0071_0004__CAME)
      & has_clr17(R_0071_0004__CAME,R_0071_0005__IN)
      & has_arg0(R_0071_0004__CAME,R_0071_0001__THE_R_0071_0002__THREE_R_0071_0003__BOYS) ) ).

( (IP-MAT (ILYR (ILYR (ILYR (ILYR (NP-SBJ;{KING1_KING2_KING3} (D The;{the})
                                                              (NUM three;{three})
                                                              (NS boys;{boy})
                                                              (IP-PPL *ICH*-170))
                                  (VBD;_Ip_ came;{come[in]})
                                  (ADVP-CLR (RP in;{in}))
                                  (PUNC ,)
                                  (IP-PPL-EPD-170 (NP-PRD (NS four_<hyphen>_year_<hyphen>_olds;{four_year_olds})
                                                          (PP (P-ROLE with;{with})
                                                              (NP (N tea;{tea})
                                                                  (NS towels;{towel})
                                                                  (PP (P-ROLE on;{on})
                                                                      (NP (NP-GEN;{KING1_KING2_KING3} (PRO;_genm_ their;{their}))
                                                                          (NS heads;{head}))))))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (NP-SBJ;{KING1_KING2_KING3} (PRO they;{they}))
                                         (VBD;_Tn.p_ put;{put[down]})
                                         (NP-OB1 (D these;{these})
                                                 (NS boxes;{box}))
                                         (ADVP-CLR (ADV down;{down}))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{KING1} (D the;{the})
                                             (NUM first;{first})
                                             (N boy;{boy}))
                             (VBD;_Tr_ said;{say})
                             (PUNC ,)
                             (PULQ <ldquo>)
                             (utterance-OB1 (IP-MAT (NP-SBJ;{KING1} (PRO I;{I}))
                                                    (VBP;_Dn.n_ bring;{bring})
                                                    (NP-OB2;{JESUS} (PRO you;{you}))
                                                    (NP-OB1 (N gold;{gold}))
                                                    (PUNC .)))
                             (PURQ <rdquo>)))))
  (ID 71_a_ted_talk_11))