Context                Previous, Next                Top


128_a_ted_talk_11
Art and music are normally given a higher status in schools than drama and dance.

%3 r_0128_0002__and and r_0128_0001__Art Art r_0128_0002__and->r_0128_0001__Art [conj1] r_0128_0003__music music r_0128_0002__and->r_0128_0003__music [conj2] r_0128_0004__are are r_0128_0006__given given r_0128_0004__are->r_0128_0006__given [scope] r_0128_0011__schools schools r_0128_0004__are->r_0128_0011__schools in [nim] r_0128_0006__given->r_0128_0002__and [arg2] r_0128_0005__normally normally r_0128_0006__given->r_0128_0005__normally [nim] r_0128_0007__a_r_0128_0009__status a status r_0128_0006__given->r_0128_0007__a_r_0128_0009__status [arg1] z_000_128_a_ted_talk_11_16 r_0128_0006__given->z_000_128_a_ted_talk_11_16 [arg0] r_0128_0008__higher higher r_0128_0007__a_r_0128_0009__status->r_0128_0008__higher [attrib] r_0128_0014__and and r_0128_0008__higher->r_0128_0014__and than r_0128_0013__drama drama r_0128_0014__and->r_0128_0013__drama [conj1] r_0128_0015__dance dance r_0128_0014__and->r_0128_0015__dance [conj2] 
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).


%3 r_0128_0002__and and r_0128_0001__Art Art r_0128_0002__and->r_0128_0001__Art [conj1] r_0128_0003__music music r_0128_0002__and->r_0128_0003__music [conj2] r_0128_0004__are_r_0128_0006__given are given r_0128_0004__are_r_0128_0006__given->r_0128_0002__and [arg2] r_0128_0005__normally normally r_0128_0004__are_r_0128_0006__given->r_0128_0005__normally [nim] r_0128_0007__a_r_0128_0009__status a status r_0128_0004__are_r_0128_0006__given->r_0128_0007__a_r_0128_0009__status [arg1] r_0128_0011__schools schools r_0128_0004__are_r_0128_0006__given->r_0128_0011__schools in [nim] z_000_128_a_ted_talk_11_16 r_0128_0004__are_r_0128_0006__given->z_000_128_a_ted_talk_11_16 [arg0] r_0128_0008__higher higher r_0128_0007__a_r_0128_0009__status->r_0128_0008__higher [attrib] r_0128_0014__and and r_0128_0008__higher->r_0128_0014__and than r_0128_0013__drama drama r_0128_0014__and->r_0128_0013__drama [conj1] r_0128_0015__dance dance 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) ) ).


n128_a_ted_talk_11 n128_a_ted_talk_11_6 Art n128_a_ted_talk_11_9 and n128_a_ted_talk_11_12 music n128_a_ted_talk_11_14 are n128_a_ted_talk_11_17 * n128_a_ted_talk_11_20 normally n128_a_ted_talk_11_22 given n128_a_ted_talk_11_25 a n128_a_ted_talk_11_28 higher n128_a_ted_talk_11_30 *ICH*-197 n128_a_ted_talk_11_32 status n128_a_ted_talk_11_35 in n128_a_ted_talk_11_38 schools n128_a_ted_talk_11_41 than n128_a_ted_talk_11_46 drama n128_a_ted_talk_11_49 and n128_a_ted_talk_11_52 dance n128_a_ted_talk_11_54 . n128_a_ted_talk_11_1 IP-MAT n128_a_ted_talk_11_2 NP-SBJ n128_a_ted_talk_11_1->n128_a_ted_talk_11_2 n128_a_ted_talk_11_13 BEP;_cat_VePASS_ n128_a_ted_talk_11_1->n128_a_ted_talk_11_13 n128_a_ted_talk_11_15 IP-PPL-CAT n128_a_ted_talk_11_1->n128_a_ted_talk_11_15 n128_a_ted_talk_11_33 PP-NIM n128_a_ted_talk_11_1->n128_a_ted_talk_11_33 n128_a_ted_talk_11_39 PP-EPD-197 n128_a_ted_talk_11_1->n128_a_ted_talk_11_39 n128_a_ted_talk_11_53 PUNC n128_a_ted_talk_11_1->n128_a_ted_talk_11_53 n128_a_ted_talk_11_3 NLYR n128_a_ted_talk_11_2->n128_a_ted_talk_11_3 n128_a_ted_talk_11_4 NLYR n128_a_ted_talk_11_3->n128_a_ted_talk_11_4 n128_a_ted_talk_11_7 CONJP n128_a_ted_talk_11_3->n128_a_ted_talk_11_7 n128_a_ted_talk_11_5 NPR n128_a_ted_talk_11_4->n128_a_ted_talk_11_5 n128_a_ted_talk_11_5->n128_a_ted_talk_11_6 n128_a_ted_talk_11_8 CONJ n128_a_ted_talk_11_7->n128_a_ted_talk_11_8 n128_a_ted_talk_11_10 NLYR n128_a_ted_talk_11_7->n128_a_ted_talk_11_10 n128_a_ted_talk_11_8->n128_a_ted_talk_11_9 n128_a_ted_talk_11_11 N n128_a_ted_talk_11_10->n128_a_ted_talk_11_11 n128_a_ted_talk_11_11->n128_a_ted_talk_11_12 n128_a_ted_talk_11_13->n128_a_ted_talk_11_14 n128_a_ted_talk_11_16 NP-LGS n128_a_ted_talk_11_15->n128_a_ted_talk_11_16 n128_a_ted_talk_11_18 ADVP-NIM n128_a_ted_talk_11_15->n128_a_ted_talk_11_18 n128_a_ted_talk_11_21 VVN;_Tn_ n128_a_ted_talk_11_15->n128_a_ted_talk_11_21 n128_a_ted_talk_11_23 NP-OB1 n128_a_ted_talk_11_15->n128_a_ted_talk_11_23 n128_a_ted_talk_11_16->n128_a_ted_talk_11_17 n128_a_ted_talk_11_19 ADV n128_a_ted_talk_11_18->n128_a_ted_talk_11_19 n128_a_ted_talk_11_19->n128_a_ted_talk_11_20 n128_a_ted_talk_11_21->n128_a_ted_talk_11_22 n128_a_ted_talk_11_24 D n128_a_ted_talk_11_23->n128_a_ted_talk_11_24 n128_a_ted_talk_11_26 ADJP n128_a_ted_talk_11_23->n128_a_ted_talk_11_26 n128_a_ted_talk_11_31 N n128_a_ted_talk_11_23->n128_a_ted_talk_11_31 n128_a_ted_talk_11_24->n128_a_ted_talk_11_25 n128_a_ted_talk_11_27 ADJR n128_a_ted_talk_11_26->n128_a_ted_talk_11_27 n128_a_ted_talk_11_29 PP n128_a_ted_talk_11_26->n128_a_ted_talk_11_29 n128_a_ted_talk_11_27->n128_a_ted_talk_11_28 n128_a_ted_talk_11_29->n128_a_ted_talk_11_30 n128_a_ted_talk_11_31->n128_a_ted_talk_11_32 n128_a_ted_talk_11_34 P-ROLE n128_a_ted_talk_11_33->n128_a_ted_talk_11_34 n128_a_ted_talk_11_36 NP n128_a_ted_talk_11_33->n128_a_ted_talk_11_36 n128_a_ted_talk_11_34->n128_a_ted_talk_11_35 n128_a_ted_talk_11_37 NS n128_a_ted_talk_11_36->n128_a_ted_talk_11_37 n128_a_ted_talk_11_37->n128_a_ted_talk_11_38 n128_a_ted_talk_11_40 P-ROLE n128_a_ted_talk_11_39->n128_a_ted_talk_11_40 n128_a_ted_talk_11_42 NP n128_a_ted_talk_11_39->n128_a_ted_talk_11_42 n128_a_ted_talk_11_40->n128_a_ted_talk_11_41 n128_a_ted_talk_11_43 NLYR n128_a_ted_talk_11_42->n128_a_ted_talk_11_43 n128_a_ted_talk_11_44 NLYR n128_a_ted_talk_11_43->n128_a_ted_talk_11_44 n128_a_ted_talk_11_47 CONJP n128_a_ted_talk_11_43->n128_a_ted_talk_11_47 n128_a_ted_talk_11_45 N n128_a_ted_talk_11_44->n128_a_ted_talk_11_45 n128_a_ted_talk_11_45->n128_a_ted_talk_11_46 n128_a_ted_talk_11_48 CONJ n128_a_ted_talk_11_47->n128_a_ted_talk_11_48 n128_a_ted_talk_11_50 NLYR n128_a_ted_talk_11_47->n128_a_ted_talk_11_50 n128_a_ted_talk_11_48->n128_a_ted_talk_11_49 n128_a_ted_talk_11_51 N n128_a_ted_talk_11_50->n128_a_ted_talk_11_51 n128_a_ted_talk_11_51->n128_a_ted_talk_11_52 n128_a_ted_talk_11_53->n128_a_ted_talk_11_54 
( (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))