arc(r_0066_0002__come_r_0066_0003__in, r_0066_0001__They, arg0).
arc(r_0066_0004__bearing, r_0066_0001__They, arg0).
arc(r_0066_0004__bearing, r_0066_0005__gifts, arg1).
arc(r_0066_0010__and, r_0066_0007__gold, conj1).
arc(r_0066_0010__and, r_0066_0009__frankincense, conj2).
arc(r_0066_0010__and, r_0066_0011__myrrh, conj3).
arc(z_000_66_a_ted_talk_11_18, r_0066_0005__gifts, arg0).
arc(z_000_66_a_ted_talk_11_18, r_0066_0010__and, prd).
arc(z_000_66_a_ted_talk_11_9, r_0066_0002__come_r_0066_0003__in, scope).
arc(z_000_66_a_ted_talk_11_9, r_0066_0004__bearing, restriction).

fof(formula,axiom,
    ? [R_0066_0005__GIFTS,R_0066_0007__GOLD,R_0066_0009__FRANKINCENSE,R_0066_0011__MYRRH,R_0066_0010__AND,Z_000_66_A_TED_TALK_11_18,R_0066_0001__THEY,R_0066_0002__COME_R_0066_0003__IN,R_0066_0004__BEARING,Z_000_66_A_TED_TALK_11_9] :
      ( r_0066_0001__They(R_0066_0001__THEY)
      & r_0066_0005__gifts(R_0066_0005__GIFTS)
      & r_0066_0007__gold(R_0066_0007__GOLD)
      & r_0066_0009__frankincense(R_0066_0009__FRANKINCENSE)
      & r_0066_0011__myrrh(R_0066_0011__MYRRH)
      & z_000_66_a_ted_talk_11_9(Z_000_66_A_TED_TALK_11_9)
      & has_conj1(Z_000_66_A_TED_TALK_11_9,R_0066_0004__BEARING)
      & r_0066_0004__bearing(R_0066_0004__BEARING)
      & has_arg1(R_0066_0004__BEARING,R_0066_0005__GIFTS)
      & has_arg0(R_0066_0004__BEARING,R_0066_0001__THEY)
      & has_conj2(Z_000_66_A_TED_TALK_11_9,R_0066_0002__COME_R_0066_0003__IN)
      & r_0066_0002__come_r_0066_0003__in(R_0066_0002__COME_R_0066_0003__IN)
      & has_arg0(R_0066_0002__COME_R_0066_0003__IN,R_0066_0001__THEY)
      & z_000_66_a_ted_talk_11_18(Z_000_66_A_TED_TALK_11_18)
      & has_prd(Z_000_66_A_TED_TALK_11_18,R_0066_0010__AND)
      & r_0066_0010__and(R_0066_0010__AND)
      & has_conj3(R_0066_0010__AND,R_0066_0011__MYRRH)
      & has_conj2(R_0066_0010__AND,R_0066_0009__FRANKINCENSE)
      & has_conj1(R_0066_0010__AND,R_0066_0007__GOLD)
      & has_arg0(Z_000_66_A_TED_TALK_11_18,R_0066_0005__GIFTS) ) ).

( (IP-MAT (NP-SBJ;{KING1_KING2_KING3} (PRO They;{they}))
          (VBP;_Ip_ come;{come[in]})
          (RP in;{in})
          (PP-SCON (IP-PPL (VAG;_Tn_ bearing;{bear})
                           (NP-OB1 (NS gifts;{gift})
                                   (PUNC ,)
                                   (IP-PPL (NP-PRD (NLYR (NLYR (N gold;{gold}))
                                                         (PUNC ,)
                                                         (CONJP (NLYR (N frankincense;{frankincense})))
                                                         (CONJP (CONJ and;{and})
                                                                (NLYR (N myrrh;{myrrh})))))))))
          (PUNC .))
  (ID 66_a_ted_talk_11))