( (IP-MAT (NP-SBJ (NLYR (NLYR (NPR Art;{Art}))
                        (CONJP (CONJ and;{and})
                               (NLYR (N music;{music})))))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (ADVP-NIM (ADV normally;{normally}))
                      (VVN;_Tn_ given;{give})
                      (NP-OB1 (D a;{a})
                              (ADJP (ADJR higher;{high})
                                    (PP *ICH*-197))
                              (N status;{status})))
          (PP-NIM (P-ROLE in;{in})
                  (NP (NS schools;{school})))
          (PP-EPD-197 (P-ROLE than;{than})
                      (NP (NLYR (NLYR (N drama;{drama}))
                                (CONJP (CONJ and;{and})
                                       (NLYR (N dance;{dance}))))))
          (PUNC .))
  (ID 128_a_ted_talk_11))

arc(r_0128_0002__and,r_0128_0001__Art,conj1).
arc(r_0128_0002__and,r_0128_0003__music,conj2).
arc(r_0128_0004__are,r_0128_0006__given,scope).
arc(r_0128_0004__are,r_0128_0011__schools,r_0128_0010__in__nim).
arc(r_0128_0006__given,r_0128_0002__and,arg2).
arc(r_0128_0006__given,r_0128_0005__normally,nim).
arc(r_0128_0006__given,r_0128_0007__a_r_0128_0009__status,arg1).
arc(r_0128_0006__given,z_0128_5011___star_,arg0).
arc(r_0128_0007__a_r_0128_0009__status,r_0128_0008__higher,attrib).
arc(r_0128_0008__higher,r_0128_0014__and,r_0128_0012__than).
arc(r_0128_0014__and,r_0128_0013__drama,conj1).
arc(r_0128_0014__and,r_0128_0015__dance,conj2).

fof(formula,axiom,
    ? [R_0128_0011__SCHOOLS,R_0128_0001__ART,R_0128_0003__MUSIC,R_0128_0002__AND,R_0128_0005__NORMALLY,R_0128_0013__DRAMA,R_0128_0015__DANCE,R_0128_0014__AND,R_0128_0008__HIGHER,R_0128_0007__A_R_0128_0009__STATUS,Z_0128_5011___STAR_,R_0128_0004__ARE_R_0128_0006__GIVEN] :
      ( r_0128_0001__Art(R_0128_0001__ART)
      & r_0128_0003__music(R_0128_0003__MUSIC)
      & r_0128_0005__normally(R_0128_0005__NORMALLY)
      & r_0128_0011__schools(R_0128_0011__SCHOOLS)
      & r_0128_0013__drama(R_0128_0013__DRAMA)
      & r_0128_0015__dance(R_0128_0015__DANCE)
      & z_0128_5011___star_(Z_0128_5011___STAR_)
      & r_0128_0004__are_r_0128_0006__given(R_0128_0004__ARE_R_0128_0006__GIVEN)
      & has_arg0(R_0128_0004__ARE_R_0128_0006__GIVEN,Z_0128_5011___STAR_)
      & has_arg1(R_0128_0004__ARE_R_0128_0006__GIVEN,R_0128_0007__A_R_0128_0009__STATUS)
      & r_0128_0007__a_r_0128_0009__status(R_0128_0007__A_R_0128_0009__STATUS)
      & has_attrib(R_0128_0007__A_R_0128_0009__STATUS,R_0128_0008__HIGHER)
      & r_0128_0008__higher(R_0128_0008__HIGHER)
      & has_r_0128_0012__than(R_0128_0008__HIGHER,R_0128_0014__AND)
      & r_0128_0014__and(R_0128_0014__AND)
      & has_conj2(R_0128_0014__AND,R_0128_0015__DANCE)
      & has_conj1(R_0128_0014__AND,R_0128_0013__DRAMA)
      & has_nim(R_0128_0004__ARE_R_0128_0006__GIVEN,R_0128_0005__NORMALLY)
      & has_arg2(R_0128_0004__ARE_R_0128_0006__GIVEN,R_0128_0002__AND)
      & r_0128_0002__and(R_0128_0002__AND)
      & has_conj2(R_0128_0002__AND,R_0128_0003__MUSIC)
      & has_conj1(R_0128_0002__AND,R_0128_0001__ART)
      & has_r_0128_0010__in__nim(R_0128_0004__ARE_R_0128_0006__GIVEN,R_0128_0011__SCHOOLS) ) ).