( (IP-MAT (ILYR (ILYR (ILYR (ILYR (NP-SBJ (PRO They;{they}))
                                  (DOD;_Tn_ did;{do})
                                  (NP-OB1 (N ballet;{ballet})))
                            (PUNC ,)
                            (CONJP (ILYR (NP-SBJ (PRO they;{they}))
                                         (DOD;_Tn_ did;{do})
                                         (NP-OB1 (NLYR (NLYR (N tap;{tap}))
                                                       (PUNC ,)
                                                       (CONJP (NLYR (N jazz;{jazz})))))))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ (PRO they;{they}))
                             (DOD;_Tn_ did;{do})
                             (NP-OB1 (ADJP (ADJ modern;{modern})))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ (PRO they;{they}))
                             (DOD;_Tn_ did;{do})
                             (NP-OB1 (ADJP (ADJ contemporary;{contemporary}))))))
          (PUNC .))
  (ID 242_a_ted_talk_11))

arc(r_0242_0002__did,r_0242_0001__They,arg0).
arc(r_0242_0002__did,r_0242_0003__ballet,arg1).
arc(r_0242_0006__did,r_0242_0005__they,arg0).
arc(r_0242_0006__did,z_0242_5008,arg1).
arc(r_0242_0012__did,r_0242_0011__they,arg0).
arc(r_0242_0012__did,z_0242_5013,arg1).
arc(r_0242_0016__did,r_0242_0015__they,arg0).
arc(r_0242_0016__did,z_0242_5017,arg1).
arc(z_0242_5001,r_0242_0012__did,conj2).
arc(z_0242_5001,r_0242_0016__did,conj3).
arc(z_0242_5001,z_0242_5002,conj1).
arc(z_0242_5002,r_0242_0002__did,conj1).
arc(z_0242_5002,r_0242_0006__did,conj2).
arc(z_0242_5008,r_0242_0007__tap,conj1).
arc(z_0242_5008,r_0242_0009__jazz,conj2).
arc(z_0242_5013,r_0242_0013__modern,attrib).
arc(z_0242_5017,r_0242_0017__contemporary,attrib).

fof(formula,axiom,
    ? [R_0242_0011__THEY,R_0242_0013__MODERN,Z_0242_5013,R_0242_0012__DID,R_0242_0015__THEY,R_0242_0017__CONTEMPORARY,Z_0242_5017,R_0242_0016__DID,R_0242_0001__THEY,R_0242_0003__BALLET,R_0242_0002__DID,R_0242_0005__THEY,R_0242_0007__TAP,R_0242_0009__JAZZ,Z_0242_5008,R_0242_0006__DID,Z_0242_5002,Z_0242_5001] :
      ( r_0242_0001__They(R_0242_0001__THEY)
      & r_0242_0003__ballet(R_0242_0003__BALLET)
      & r_0242_0005__they(R_0242_0005__THEY)
      & r_0242_0007__tap(R_0242_0007__TAP)
      & r_0242_0009__jazz(R_0242_0009__JAZZ)
      & r_0242_0011__they(R_0242_0011__THEY)
      & r_0242_0013__modern(R_0242_0013__MODERN)
      & r_0242_0015__they(R_0242_0015__THEY)
      & r_0242_0017__contemporary(R_0242_0017__CONTEMPORARY)
      & z_0242_5001(Z_0242_5001)
      & has_conj1(Z_0242_5001,Z_0242_5002)
      & z_0242_5002(Z_0242_5002)
      & has_conj2(Z_0242_5002,R_0242_0006__DID)
      & r_0242_0006__did(R_0242_0006__DID)
      & has_arg1(R_0242_0006__DID,Z_0242_5008)
      & z_0242_5008(Z_0242_5008)
      & has_conj2(Z_0242_5008,R_0242_0009__JAZZ)
      & has_conj1(Z_0242_5008,R_0242_0007__TAP)
      & has_arg0(R_0242_0006__DID,R_0242_0005__THEY)
      & has_conj1(Z_0242_5002,R_0242_0002__DID)
      & r_0242_0002__did(R_0242_0002__DID)
      & has_arg1(R_0242_0002__DID,R_0242_0003__BALLET)
      & has_arg0(R_0242_0002__DID,R_0242_0001__THEY)
      & has_conj3(Z_0242_5001,R_0242_0016__DID)
      & r_0242_0016__did(R_0242_0016__DID)
      & has_arg1(R_0242_0016__DID,Z_0242_5017)
      & z_0242_5017(Z_0242_5017)
      & has_attrib(Z_0242_5017,R_0242_0017__CONTEMPORARY)
      & has_arg0(R_0242_0016__DID,R_0242_0015__THEY)
      & has_conj2(Z_0242_5001,R_0242_0012__DID)
      & r_0242_0012__did(R_0242_0012__DID)
      & has_arg1(R_0242_0012__DID,Z_0242_5013)
      & z_0242_5013(Z_0242_5013)
      & has_attrib(Z_0242_5013,R_0242_0013__MODERN)
      & has_arg0(R_0242_0012__DID,R_0242_0011__THEY) ) ).