Context                Previous, Next                Top


125_a_ted_talk_11
At the top are mathematics and languages, then the humanities, and at the bottom are the arts.

%3 r_0125_0004__are are r_0125_0002__the_r_0125_0003__top the top r_0125_0004__are->r_0125_0002__the_r_0125_0003__top At [clr] r_0125_0006__and and r_0125_0004__are->r_0125_0006__and [arg0] r_0125_0005__mathematics mathematics r_0125_0006__and->r_0125_0005__mathematics [conj1] r_0125_0007__languages languages r_0125_0006__and->r_0125_0007__languages [conj2] r_0125_0013__and and r_0125_0013__and->r_0125_0004__are [conj1] r_0125_0017__are are r_0125_0013__and->r_0125_0017__are [conj3] z_000_125_a_ted_talk_11_27 r_0125_0013__and->z_000_125_a_ted_talk_11_27 [conj2] r_0125_0015__the_r_0125_0016__bottom the bottom r_0125_0017__are->r_0125_0015__the_r_0125_0016__bottom at [clr] r_0125_0018__the_r_0125_0019__arts the arts r_0125_0017__are->r_0125_0018__the_r_0125_0019__arts [arg0] r_0125_0009__then then z_000_125_a_ted_talk_11_27->r_0125_0009__then [nim] r_0125_0010__the_r_0125_0011__humanities the humanities z_000_125_a_ted_talk_11_27->r_0125_0010__the_r_0125_0011__humanities [arg0] 
arc(r_0125_0004__are, r_0125_0002__the_r_0125_0003__top, r_0125_0001__At_clr7).
arc(r_0125_0004__are, r_0125_0006__and, arg0).
arc(r_0125_0006__and, r_0125_0005__mathematics, conj1).
arc(r_0125_0006__and, r_0125_0007__languages, conj2).
arc(r_0125_0013__and, r_0125_0004__are, conj1).
arc(r_0125_0013__and, r_0125_0017__are, conj3).
arc(r_0125_0013__and, z_000_125_a_ted_talk_11_27, conj2).
arc(r_0125_0017__are, r_0125_0015__the_r_0125_0016__bottom, r_0125_0014__at_clr45).
arc(r_0125_0017__are, r_0125_0018__the_r_0125_0019__arts, arg0).
arc(z_000_125_a_ted_talk_11_27, r_0125_0009__then, nim28).
arc(z_000_125_a_ted_talk_11_27, r_0125_0010__the_r_0125_0011__humanities, arg0).


%3 r_0125_0004__are are r_0125_0002__the_r_0125_0003__top the top r_0125_0004__are->r_0125_0002__the_r_0125_0003__top At [clr] r_0125_0006__and and r_0125_0004__are->r_0125_0006__and [arg0] r_0125_0005__mathematics mathematics r_0125_0006__and->r_0125_0005__mathematics [conj1] r_0125_0007__languages languages r_0125_0006__and->r_0125_0007__languages [conj2] r_0125_0013__and and r_0125_0013__and->r_0125_0004__are [conj1] r_0125_0017__are are r_0125_0013__and->r_0125_0017__are [conj3] z_000_125_a_ted_talk_11_27 r_0125_0013__and->z_000_125_a_ted_talk_11_27 [conj2] r_0125_0015__the_r_0125_0016__bottom the bottom r_0125_0017__are->r_0125_0015__the_r_0125_0016__bottom at [clr] r_0125_0018__the_r_0125_0019__arts the arts r_0125_0017__are->r_0125_0018__the_r_0125_0019__arts [arg0] r_0125_0009__then then z_000_125_a_ted_talk_11_27->r_0125_0009__then [nim] r_0125_0010__the_r_0125_0011__humanities the humanities z_000_125_a_ted_talk_11_27->r_0125_0010__the_r_0125_0011__humanities [arg0] 
fof(formula,axiom,
    ? [R_125_13_AND,R_125_4_ARE,R_125_6_AND,R_125_5_MATHEMATICS,R_125_7_LANGUAGES,R_125_2_THE_TOP,Z_125_A_TED_TALK_11_27,R_125_10_THE_HUMANITIES,R_125_9_THEN,R_125_17_ARE,R_125_18_THE_ARTS,R_125_15_THE_BOTTOM] :
      ( mathematics(R_125_5_MATHEMATICS)
      & languages(R_125_7_LANGUAGES)
      & the_top(R_125_2_THE_TOP)
      & the_humanities(R_125_10_THE_HUMANITIES)
      & then(R_125_9_THEN)
      & the_arts(R_125_18_THE_ARTS)
      & the_bottom(R_125_15_THE_BOTTOM)
      & and(R_125_13_AND)
      & conj1(R_125_13_AND,R_125_4_ARE)
      & are(R_125_4_ARE,R_125_6_AND)
      & and(R_125_6_AND)
      & conj1(R_125_6_AND,R_125_5_MATHEMATICS)
      & conj2(R_125_6_AND,R_125_7_LANGUAGES)
      & at_clr7(R_125_4_ARE,R_125_2_THE_TOP)
      & conj2(R_125_13_AND,Z_125_A_TED_TALK_11_27)
      & z_125_a_ted_talk_11_27(Z_125_A_TED_TALK_11_27,R_125_10_THE_HUMANITIES)
      & nim28(Z_125_A_TED_TALK_11_27,R_125_9_THEN)
      & conj3(R_125_13_AND,R_125_17_ARE)
      & are(R_125_17_ARE,R_125_18_THE_ARTS)
      & at_clr45(R_125_17_ARE,R_125_15_THE_BOTTOM) ) ).


n125_a_ted_talk_11 n125_a_ted_talk_11_6 At n125_a_ted_talk_11_9 the n125_a_ted_talk_11_11 top n125_a_ted_talk_11_13 are n125_a_ted_talk_11_18 mathematics n125_a_ted_talk_11_21 and n125_a_ted_talk_11_24 languages n125_a_ted_talk_11_26 , n125_a_ted_talk_11_30 then n125_a_ted_talk_11_33 the n125_a_ted_talk_11_35 humanities n125_a_ted_talk_11_37 , n125_a_ted_talk_11_40 and n125_a_ted_talk_11_44 at n125_a_ted_talk_11_47 the n125_a_ted_talk_11_49 bottom n125_a_ted_talk_11_51 are n125_a_ted_talk_11_54 the n125_a_ted_talk_11_56 arts n125_a_ted_talk_11_58 . n125_a_ted_talk_11_1 IP-MAT n125_a_ted_talk_11_2 ILYR n125_a_ted_talk_11_1->n125_a_ted_talk_11_2 n125_a_ted_talk_11_57 PUNC n125_a_ted_talk_11_1->n125_a_ted_talk_11_57 n125_a_ted_talk_11_3 ILYR n125_a_ted_talk_11_2->n125_a_ted_talk_11_3 n125_a_ted_talk_11_25 PUNC n125_a_ted_talk_11_2->n125_a_ted_talk_11_25 n125_a_ted_talk_11_27 ILYR n125_a_ted_talk_11_2->n125_a_ted_talk_11_27 n125_a_ted_talk_11_36 PUNC n125_a_ted_talk_11_2->n125_a_ted_talk_11_36 n125_a_ted_talk_11_38 CONJP n125_a_ted_talk_11_2->n125_a_ted_talk_11_38 n125_a_ted_talk_11_4 PP-TPC-CLR n125_a_ted_talk_11_3->n125_a_ted_talk_11_4 n125_a_ted_talk_11_12 BEP;_Ipr_ n125_a_ted_talk_11_3->n125_a_ted_talk_11_12 n125_a_ted_talk_11_14 NP-SBJ n125_a_ted_talk_11_3->n125_a_ted_talk_11_14 n125_a_ted_talk_11_5 P-ROLE n125_a_ted_talk_11_4->n125_a_ted_talk_11_5 n125_a_ted_talk_11_7 NP n125_a_ted_talk_11_4->n125_a_ted_talk_11_7 n125_a_ted_talk_11_5->n125_a_ted_talk_11_6 n125_a_ted_talk_11_8 D n125_a_ted_talk_11_7->n125_a_ted_talk_11_8 n125_a_ted_talk_11_10 N n125_a_ted_talk_11_7->n125_a_ted_talk_11_10 n125_a_ted_talk_11_8->n125_a_ted_talk_11_9 n125_a_ted_talk_11_10->n125_a_ted_talk_11_11 n125_a_ted_talk_11_12->n125_a_ted_talk_11_13 n125_a_ted_talk_11_15 NLYR n125_a_ted_talk_11_14->n125_a_ted_talk_11_15 n125_a_ted_talk_11_16 NLYR n125_a_ted_talk_11_15->n125_a_ted_talk_11_16 n125_a_ted_talk_11_19 CONJP n125_a_ted_talk_11_15->n125_a_ted_talk_11_19 n125_a_ted_talk_11_17 N n125_a_ted_talk_11_16->n125_a_ted_talk_11_17 n125_a_ted_talk_11_17->n125_a_ted_talk_11_18 n125_a_ted_talk_11_20 CONJ n125_a_ted_talk_11_19->n125_a_ted_talk_11_20 n125_a_ted_talk_11_22 NLYR n125_a_ted_talk_11_19->n125_a_ted_talk_11_22 n125_a_ted_talk_11_20->n125_a_ted_talk_11_21 n125_a_ted_talk_11_23 NS n125_a_ted_talk_11_22->n125_a_ted_talk_11_23 n125_a_ted_talk_11_23->n125_a_ted_talk_11_24 n125_a_ted_talk_11_25->n125_a_ted_talk_11_26 n125_a_ted_talk_11_28 ADVP-NIM n125_a_ted_talk_11_27->n125_a_ted_talk_11_28 n125_a_ted_talk_11_31 NP-SBJ n125_a_ted_talk_11_27->n125_a_ted_talk_11_31 n125_a_ted_talk_11_29 ADV n125_a_ted_talk_11_28->n125_a_ted_talk_11_29 n125_a_ted_talk_11_29->n125_a_ted_talk_11_30 n125_a_ted_talk_11_32 D n125_a_ted_talk_11_31->n125_a_ted_talk_11_32 n125_a_ted_talk_11_34 NS n125_a_ted_talk_11_31->n125_a_ted_talk_11_34 n125_a_ted_talk_11_32->n125_a_ted_talk_11_33 n125_a_ted_talk_11_34->n125_a_ted_talk_11_35 n125_a_ted_talk_11_36->n125_a_ted_talk_11_37 n125_a_ted_talk_11_39 CONJ n125_a_ted_talk_11_38->n125_a_ted_talk_11_39 n125_a_ted_talk_11_41 ILYR n125_a_ted_talk_11_38->n125_a_ted_talk_11_41 n125_a_ted_talk_11_39->n125_a_ted_talk_11_40 n125_a_ted_talk_11_42 PP-TPC-CLR n125_a_ted_talk_11_41->n125_a_ted_talk_11_42 n125_a_ted_talk_11_50 BEP;_Ipr_ n125_a_ted_talk_11_41->n125_a_ted_talk_11_50 n125_a_ted_talk_11_52 NP-SBJ n125_a_ted_talk_11_41->n125_a_ted_talk_11_52 n125_a_ted_talk_11_43 P-ROLE n125_a_ted_talk_11_42->n125_a_ted_talk_11_43 n125_a_ted_talk_11_45 NP n125_a_ted_talk_11_42->n125_a_ted_talk_11_45 n125_a_ted_talk_11_43->n125_a_ted_talk_11_44 n125_a_ted_talk_11_46 D n125_a_ted_talk_11_45->n125_a_ted_talk_11_46 n125_a_ted_talk_11_48 N n125_a_ted_talk_11_45->n125_a_ted_talk_11_48 n125_a_ted_talk_11_46->n125_a_ted_talk_11_47 n125_a_ted_talk_11_48->n125_a_ted_talk_11_49 n125_a_ted_talk_11_50->n125_a_ted_talk_11_51 n125_a_ted_talk_11_53 D n125_a_ted_talk_11_52->n125_a_ted_talk_11_53 n125_a_ted_talk_11_55 NS n125_a_ted_talk_11_52->n125_a_ted_talk_11_55 n125_a_ted_talk_11_53->n125_a_ted_talk_11_54 n125_a_ted_talk_11_55->n125_a_ted_talk_11_56 n125_a_ted_talk_11_57->n125_a_ted_talk_11_58 
( (IP-MAT (ILYR (ILYR (PP-TPC-CLR (P-ROLE At;{at})
                                  (NP (D the;{the})
                                      (N top;{top})))
                      (BEP;_Ipr_ are;{be[at]})
                      (NP-SBJ (NLYR (NLYR (N mathematics;{mathematics}))
                                    (CONJP (CONJ and;{and})
                                           (NLYR (NS languages;{language}))))))
                (PUNC ,)
                (ILYR (ADVP-NIM (ADV then;{then}))
                      (NP-SBJ (D the;{the})
                              (NS humanities;{humanity})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-TPC-CLR (P-ROLE at;{at})
                                         (NP (D the;{the})
                                             (N bottom;{bottom})))
                             (BEP;_Ipr_ are;{be[at]})
                             (NP-SBJ (D the;{the})
                                     (NS arts;{art})))))
          (PUNC .))
  (ID 125_a_ted_talk_11))