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, r_0071_0023__the_r_0071_0024__first_r_0071_0025__boy, arg0).
arc(r_0071_0026__said, utterance_71_a_ted_talk_11_81, arg1).
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(utterance_71_a_ted_talk_11_81, r_0071_0030__bring, part1).
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_71_22_AND,R_71_15_AND,R_71_4_CAME,R_71_5_IN,R_71_17_PUT,R_71_18_THESE_BOXES,R_71_20_DOWN,R_71_26_SAID,UTTERANCE_71_A_TED_TALK_11_81,R_71_30_BRING,R_71_23_THE_FIRST_BOY,R_71_32_GOLD,R_71_31_YOU,Z_71_A_TED_TALK_11_22,R_71_7_FOUR_HYPHEN_YEAR_HYPHEN_OLDS,R_71_9_TEA_TOWELS,R_71_13_HEADS,R_71_1_THE_THREE_BOYS] :
      ( in(R_71_5_IN)
      & these_boxes(R_71_18_THESE_BOXES)
      & down(R_71_20_DOWN)
      & the_first_boy(R_71_23_THE_FIRST_BOY)
      & gold(R_71_32_GOLD)
      & you(R_71_31_YOU)
      & the_three_boys(R_71_1_THE_THREE_BOYS)
      & and(R_71_22_AND)
      & conj1(R_71_22_AND,R_71_15_AND)
      & and(R_71_15_AND)
      & conj1(R_71_15_AND,R_71_4_CAME)
      & came(R_71_4_CAME,R_71_1_THE_THREE_BOYS)
      & clr17(R_71_4_CAME,R_71_5_IN)
      & conj2(R_71_15_AND,R_71_17_PUT)
      & put(R_71_17_PUT,R_71_1_THE_THREE_BOYS,R_71_18_THESE_BOXES)
      & clr59(R_71_17_PUT,R_71_20_DOWN)
      & conj2(R_71_22_AND,R_71_26_SAID)
      & said(R_71_26_SAID,R_71_23_THE_FIRST_BOY,UTTERANCE_71_A_TED_TALK_11_81)
      & utterance_71_a_ted_talk_11_81(UTTERANCE_71_A_TED_TALK_11_81)
      & part1(UTTERANCE_71_A_TED_TALK_11_81,R_71_30_BRING)
      & bring(R_71_30_BRING,R_71_23_THE_FIRST_BOY,R_71_32_GOLD,R_71_31_YOU)
      & z_71_a_ted_talk_11_22(Z_71_A_TED_TALK_11_22,R_71_1_THE_THREE_BOYS,R_71_7_FOUR_HYPHEN_YEAR_HYPHEN_OLDS)
      & four_hyphen_year_hyphen_olds(R_71_7_FOUR_HYPHEN_YEAR_HYPHEN_OLDS)
      & with(R_71_7_FOUR_HYPHEN_YEAR_HYPHEN_OLDS,R_71_9_TEA_TOWELS)
      & tea_towels(R_71_9_TEA_TOWELS)
      & on(R_71_9_TEA_TOWELS,R_71_13_HEADS)
      & heads(R_71_13_HEADS)
      & gen(R_71_13_HEADS,R_71_1_THE_THREE_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))