128_a_ted_talk_11
Art and music are normally given a higher status in schools than drama and dance.
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_nim36).
arc(r_0128_0006__given, r_0128_0002__and, arg2).
arc(r_0128_0006__given, r_0128_0005__normally, nim18).
arc(r_0128_0006__given, r_0128_0007__a_r_0128_0009__status, arg1).
arc(r_0128_0006__given, z_000_128_a_ted_talk_11_16, arg0).
arc(r_0128_0007__a_r_0128_0009__status, r_0128_0008__higher, attrib26).
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_128_4_ARE_GIVEN,Z_128_A_TED_TALK_11_16,R_128_7_A_STATUS,R_128_8_HIGHER,R_128_14_AND,R_128_13_DRAMA,R_128_15_DANCE,R_128_2_AND,R_128_1_ART,R_128_3_MUSIC,R_128_5_NORMALLY,R_128_11_SCHOOLS] :
( drama(R_128_13_DRAMA)
& dance(R_128_15_DANCE)
& art(R_128_1_ART)
& music(R_128_3_MUSIC)
& normally(R_128_5_NORMALLY)
& schools(R_128_11_SCHOOLS)
& are_given(R_128_4_ARE_GIVEN,Z_128_A_TED_TALK_11_16,R_128_7_A_STATUS,R_128_2_AND)
& a_status(R_128_7_A_STATUS)
& attrib26(R_128_7_A_STATUS,R_128_8_HIGHER)
& higher(R_128_8_HIGHER)
& than(R_128_8_HIGHER,R_128_14_AND)
& and(R_128_14_AND)
& conj1(R_128_14_AND,R_128_13_DRAMA)
& conj2(R_128_14_AND,R_128_15_DANCE)
& and(R_128_2_AND)
& conj1(R_128_2_AND,R_128_1_ART)
& conj2(R_128_2_AND,R_128_3_MUSIC)
& nim18(R_128_4_ARE_GIVEN,R_128_5_NORMALLY)
& in_nim36(R_128_4_ARE_GIVEN,R_128_11_SCHOOLS) ) ).
( (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))