( (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 ,)
                                   (PRN (NP (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))

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_0066_5001,r_0066_0002__come_r_0066_0003__in,scope).
arc(z_0066_5001,r_0066_0004__bearing,restriction).
arc(z_0066_5008,r_0066_0005__gifts,arg0).
arc(z_0066_5008,r_0066_0010__and,prd).

fof(formula,axiom,
    ? [R_0066_0001__THEY,R_0066_0002__COME_R_0066_0003__IN,R_0066_0005__GIFTS,R_0066_0004__BEARING,Z_0066_5001,R_0066_0007__GOLD,R_0066_0009__FRANKINCENSE,R_0066_0011__MYRRH,R_0066_0010__AND,Z_0066_5008] :
      ( 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_0066_5008(Z_0066_5008)
      & has_prd(Z_0066_5008,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_0066_5008,R_0066_0005__GIFTS)
      & z_0066_5001(Z_0066_5001)
      & has_conj1(Z_0066_5001,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_0066_5001,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) ) ).