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.

n125_a_ted_talk_11 n125_a_ted_talk_11__1_1_1_1_1_1 At n125_a_ted_talk_11__1_1_1_1_2_1_1 the n125_a_ted_talk_11__1_1_1_1_2_2_1 top n125_a_ted_talk_11__1_1_1_2_1 are n125_a_ted_talk_11__1_1_1_3_1_1_1_1 mathematics n125_a_ted_talk_11__1_1_1_3_1_2_1_1 and n125_a_ted_talk_11__1_1_1_3_1_2_2_1_1 languages n125_a_ted_talk_11__1_1_2_1 , n125_a_ted_talk_11__1_1_3_1_1_1 then n125_a_ted_talk_11__1_1_3_2_1_1 the n125_a_ted_talk_11__1_1_3_2_2_1 humanities n125_a_ted_talk_11__1_1_4_1 , n125_a_ted_talk_11__1_1_5_1_1 and n125_a_ted_talk_11__1_1_5_2_1_1_1 at n125_a_ted_talk_11__1_1_5_2_1_2_1_1 the n125_a_ted_talk_11__1_1_5_2_1_2_2_1 bottom n125_a_ted_talk_11__1_1_5_2_2_1 are n125_a_ted_talk_11__1_1_5_2_3_1_1 the n125_a_ted_talk_11__1_1_5_2_3_2_1 arts n125_a_ted_talk_11__1_2_1 . n125_a_ted_talk_11__1 IP-MAT n125_a_ted_talk_11__1_1 ILYR n125_a_ted_talk_11__1->n125_a_ted_talk_11__1_1 n125_a_ted_talk_11__1_2 PUNC n125_a_ted_talk_11__1->n125_a_ted_talk_11__1_2 n125_a_ted_talk_11__1_1_1 ILYR n125_a_ted_talk_11__1_1->n125_a_ted_talk_11__1_1_1 n125_a_ted_talk_11__1_1_2 PUNC n125_a_ted_talk_11__1_1->n125_a_ted_talk_11__1_1_2 n125_a_ted_talk_11__1_1_3 ILYR n125_a_ted_talk_11__1_1->n125_a_ted_talk_11__1_1_3 n125_a_ted_talk_11__1_1_4 PUNC n125_a_ted_talk_11__1_1->n125_a_ted_talk_11__1_1_4 n125_a_ted_talk_11__1_1_5 CONJP n125_a_ted_talk_11__1_1->n125_a_ted_talk_11__1_1_5 n125_a_ted_talk_11__1_1_1_1 PP-TPC-CLR n125_a_ted_talk_11__1_1_1->n125_a_ted_talk_11__1_1_1_1 n125_a_ted_talk_11__1_1_1_2 BEP;_Ipr_ n125_a_ted_talk_11__1_1_1->n125_a_ted_talk_11__1_1_1_2 n125_a_ted_talk_11__1_1_1_3 NP-SBJ n125_a_ted_talk_11__1_1_1->n125_a_ted_talk_11__1_1_1_3 n125_a_ted_talk_11__1_1_1_1_1 P-ROLE n125_a_ted_talk_11__1_1_1_1->n125_a_ted_talk_11__1_1_1_1_1 n125_a_ted_talk_11__1_1_1_1_2 NP n125_a_ted_talk_11__1_1_1_1->n125_a_ted_talk_11__1_1_1_1_2 n125_a_ted_talk_11__1_1_1_1_1->n125_a_ted_talk_11__1_1_1_1_1_1 n125_a_ted_talk_11__1_1_1_1_2_1 D n125_a_ted_talk_11__1_1_1_1_2->n125_a_ted_talk_11__1_1_1_1_2_1 n125_a_ted_talk_11__1_1_1_1_2_2 N n125_a_ted_talk_11__1_1_1_1_2->n125_a_ted_talk_11__1_1_1_1_2_2 n125_a_ted_talk_11__1_1_1_1_2_1->n125_a_ted_talk_11__1_1_1_1_2_1_1 n125_a_ted_talk_11__1_1_1_1_2_2->n125_a_ted_talk_11__1_1_1_1_2_2_1 n125_a_ted_talk_11__1_1_1_2->n125_a_ted_talk_11__1_1_1_2_1 n125_a_ted_talk_11__1_1_1_3_1 NLYR n125_a_ted_talk_11__1_1_1_3->n125_a_ted_talk_11__1_1_1_3_1 n125_a_ted_talk_11__1_1_1_3_1_1 NLYR n125_a_ted_talk_11__1_1_1_3_1->n125_a_ted_talk_11__1_1_1_3_1_1 n125_a_ted_talk_11__1_1_1_3_1_2 CONJP n125_a_ted_talk_11__1_1_1_3_1->n125_a_ted_talk_11__1_1_1_3_1_2 n125_a_ted_talk_11__1_1_1_3_1_1_1 N n125_a_ted_talk_11__1_1_1_3_1_1->n125_a_ted_talk_11__1_1_1_3_1_1_1 n125_a_ted_talk_11__1_1_1_3_1_1_1->n125_a_ted_talk_11__1_1_1_3_1_1_1_1 n125_a_ted_talk_11__1_1_1_3_1_2_1 CONJ n125_a_ted_talk_11__1_1_1_3_1_2->n125_a_ted_talk_11__1_1_1_3_1_2_1 n125_a_ted_talk_11__1_1_1_3_1_2_2 NLYR n125_a_ted_talk_11__1_1_1_3_1_2->n125_a_ted_talk_11__1_1_1_3_1_2_2 n125_a_ted_talk_11__1_1_1_3_1_2_1->n125_a_ted_talk_11__1_1_1_3_1_2_1_1 n125_a_ted_talk_11__1_1_1_3_1_2_2_1 NS n125_a_ted_talk_11__1_1_1_3_1_2_2->n125_a_ted_talk_11__1_1_1_3_1_2_2_1 n125_a_ted_talk_11__1_1_1_3_1_2_2_1->n125_a_ted_talk_11__1_1_1_3_1_2_2_1_1 n125_a_ted_talk_11__1_1_2->n125_a_ted_talk_11__1_1_2_1 n125_a_ted_talk_11__1_1_3_1 ADVP-NIM n125_a_ted_talk_11__1_1_3->n125_a_ted_talk_11__1_1_3_1 n125_a_ted_talk_11__1_1_3_2 NP-SBJ n125_a_ted_talk_11__1_1_3->n125_a_ted_talk_11__1_1_3_2 n125_a_ted_talk_11__1_1_3_1_1 ADV n125_a_ted_talk_11__1_1_3_1->n125_a_ted_talk_11__1_1_3_1_1 n125_a_ted_talk_11__1_1_3_1_1->n125_a_ted_talk_11__1_1_3_1_1_1 n125_a_ted_talk_11__1_1_3_2_1 D n125_a_ted_talk_11__1_1_3_2->n125_a_ted_talk_11__1_1_3_2_1 n125_a_ted_talk_11__1_1_3_2_2 NS n125_a_ted_talk_11__1_1_3_2->n125_a_ted_talk_11__1_1_3_2_2 n125_a_ted_talk_11__1_1_3_2_1->n125_a_ted_talk_11__1_1_3_2_1_1 n125_a_ted_talk_11__1_1_3_2_2->n125_a_ted_talk_11__1_1_3_2_2_1 n125_a_ted_talk_11__1_1_4->n125_a_ted_talk_11__1_1_4_1 n125_a_ted_talk_11__1_1_5_1 CONJ n125_a_ted_talk_11__1_1_5->n125_a_ted_talk_11__1_1_5_1 n125_a_ted_talk_11__1_1_5_2 ILYR n125_a_ted_talk_11__1_1_5->n125_a_ted_talk_11__1_1_5_2 n125_a_ted_talk_11__1_1_5_1->n125_a_ted_talk_11__1_1_5_1_1 n125_a_ted_talk_11__1_1_5_2_1 PP-TPC-CLR n125_a_ted_talk_11__1_1_5_2->n125_a_ted_talk_11__1_1_5_2_1 n125_a_ted_talk_11__1_1_5_2_2 BEP;_Ipr_ n125_a_ted_talk_11__1_1_5_2->n125_a_ted_talk_11__1_1_5_2_2 n125_a_ted_talk_11__1_1_5_2_3 NP-SBJ n125_a_ted_talk_11__1_1_5_2->n125_a_ted_talk_11__1_1_5_2_3 n125_a_ted_talk_11__1_1_5_2_1_1 P-ROLE n125_a_ted_talk_11__1_1_5_2_1->n125_a_ted_talk_11__1_1_5_2_1_1 n125_a_ted_talk_11__1_1_5_2_1_2 NP n125_a_ted_talk_11__1_1_5_2_1->n125_a_ted_talk_11__1_1_5_2_1_2 n125_a_ted_talk_11__1_1_5_2_1_1->n125_a_ted_talk_11__1_1_5_2_1_1_1 n125_a_ted_talk_11__1_1_5_2_1_2_1 D n125_a_ted_talk_11__1_1_5_2_1_2->n125_a_ted_talk_11__1_1_5_2_1_2_1 n125_a_ted_talk_11__1_1_5_2_1_2_2 N n125_a_ted_talk_11__1_1_5_2_1_2->n125_a_ted_talk_11__1_1_5_2_1_2_2 n125_a_ted_talk_11__1_1_5_2_1_2_1->n125_a_ted_talk_11__1_1_5_2_1_2_1_1 n125_a_ted_talk_11__1_1_5_2_1_2_2->n125_a_ted_talk_11__1_1_5_2_1_2_2_1 n125_a_ted_talk_11__1_1_5_2_2->n125_a_ted_talk_11__1_1_5_2_2_1 n125_a_ted_talk_11__1_1_5_2_3_1 D n125_a_ted_talk_11__1_1_5_2_3->n125_a_ted_talk_11__1_1_5_2_3_1 n125_a_ted_talk_11__1_1_5_2_3_2 NS n125_a_ted_talk_11__1_1_5_2_3->n125_a_ted_talk_11__1_1_5_2_3_2 n125_a_ted_talk_11__1_1_5_2_3_1->n125_a_ted_talk_11__1_1_5_2_3_1_1 n125_a_ted_talk_11__1_1_5_2_3_2->n125_a_ted_talk_11__1_1_5_2_3_2_1 n125_a_ted_talk_11__1_2->n125_a_ted_talk_11__1_2_1 
( (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))


%3 z_0125_5008 r_0125_0010__the_r_0125_0011__humanities the humanities z_0125_5008->r_0125_0010__the_r_0125_0011__humanities [arg0] r_0125_0009__then then z_0125_5008->r_0125_0009__then [nim] r_0125_0014__at_r_0125_0017__are at are r_0125_0018__the_r_0125_0019__arts the arts r_0125_0014__at_r_0125_0017__are->r_0125_0018__the_r_0125_0019__arts [arg0] r_0125_0015__the_r_0125_0016__bottom the bottom r_0125_0014__at_r_0125_0017__are->r_0125_0015__the_r_0125_0016__bottom [arg1] r_0125_0013__and and r_0125_0013__and->z_0125_5008 [conj2] r_0125_0013__and->r_0125_0014__at_r_0125_0017__are [conj3] r_0125_0001__At_r_0125_0004__are At are r_0125_0013__and->r_0125_0001__At_r_0125_0004__are [conj1] r_0125_0006__and and r_0125_0001__At_r_0125_0004__are->r_0125_0006__and [arg0] r_0125_0002__the_r_0125_0003__top the top r_0125_0001__At_r_0125_0004__are->r_0125_0002__the_r_0125_0003__top [arg1] r_0125_0007__languages languages r_0125_0006__and->r_0125_0007__languages [conj2] r_0125_0005__mathematics mathematics r_0125_0006__and->r_0125_0005__mathematics [conj1] 
arc(r_0125_0001__At_r_0125_0004__are,r_0125_0002__the_r_0125_0003__top,arg1).
arc(r_0125_0001__At_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_0001__At_r_0125_0004__are,conj1).
arc(r_0125_0013__and,r_0125_0014__at_r_0125_0017__are,conj3).
arc(r_0125_0013__and,z_0125_5008,conj2).
arc(r_0125_0014__at_r_0125_0017__are,r_0125_0015__the_r_0125_0016__bottom,arg1).
arc(r_0125_0014__at_r_0125_0017__are,r_0125_0018__the_r_0125_0019__arts,arg0).
arc(z_0125_5008,r_0125_0009__then,nim).
arc(z_0125_5008,r_0125_0010__the_r_0125_0011__humanities,arg0).


%3 r_0125_0001__At_r_0125_0004__are At are r_0125_0002__the_r_0125_0003__top the top r_0125_0001__At_r_0125_0004__are->r_0125_0002__the_r_0125_0003__top [arg1] r_0125_0006__and and r_0125_0001__At_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_0001__At_r_0125_0004__are [conj1] r_0125_0014__at_r_0125_0017__are at are r_0125_0013__and->r_0125_0014__at_r_0125_0017__are [conj3] z_0125_5008 r_0125_0013__and->z_0125_5008 [conj2] r_0125_0015__the_r_0125_0016__bottom the bottom r_0125_0014__at_r_0125_0017__are->r_0125_0015__the_r_0125_0016__bottom [arg1] r_0125_0018__the_r_0125_0019__arts the arts r_0125_0014__at_r_0125_0017__are->r_0125_0018__the_r_0125_0019__arts [arg0] r_0125_0009__then then z_0125_5008->r_0125_0009__then [nim] r_0125_0010__the_r_0125_0011__humanities the humanities z_0125_5008->r_0125_0010__the_r_0125_0011__humanities [arg0] 
fof(formula,axiom,
    ? [R_0125_0002__THE_R_0125_0003__TOP,R_0125_0005__MATHEMATICS,R_0125_0007__LANGUAGES,R_0125_0006__AND,R_0125_0001__AT_R_0125_0004__ARE,R_0125_0015__THE_R_0125_0016__BOTTOM,R_0125_0018__THE_R_0125_0019__ARTS,R_0125_0014__AT_R_0125_0017__ARE,R_0125_0009__THEN,R_0125_0010__THE_R_0125_0011__HUMANITIES,Z_0125_5008,R_0125_0013__AND] :
      ( r_0125_0002__the_r_0125_0003__top(R_0125_0002__THE_R_0125_0003__TOP)
      & r_0125_0005__mathematics(R_0125_0005__MATHEMATICS)
      & r_0125_0007__languages(R_0125_0007__LANGUAGES)
      & r_0125_0009__then(R_0125_0009__THEN)
      & r_0125_0010__the_r_0125_0011__humanities(R_0125_0010__THE_R_0125_0011__HUMANITIES)
      & r_0125_0015__the_r_0125_0016__bottom(R_0125_0015__THE_R_0125_0016__BOTTOM)
      & r_0125_0018__the_r_0125_0019__arts(R_0125_0018__THE_R_0125_0019__ARTS)
      & r_0125_0013__and(R_0125_0013__AND)
      & has_conj2(R_0125_0013__AND,Z_0125_5008)
      & z_0125_5008(Z_0125_5008)
      & has_arg0(Z_0125_5008,R_0125_0010__THE_R_0125_0011__HUMANITIES)
      & has_nim(Z_0125_5008,R_0125_0009__THEN)
      & has_conj3(R_0125_0013__AND,R_0125_0014__AT_R_0125_0017__ARE)
      & r_0125_0014__at_r_0125_0017__are(R_0125_0014__AT_R_0125_0017__ARE)
      & has_arg0(R_0125_0014__AT_R_0125_0017__ARE,R_0125_0018__THE_R_0125_0019__ARTS)
      & has_arg1(R_0125_0014__AT_R_0125_0017__ARE,R_0125_0015__THE_R_0125_0016__BOTTOM)
      & has_conj1(R_0125_0013__AND,R_0125_0001__AT_R_0125_0004__ARE)
      & r_0125_0001__At_r_0125_0004__are(R_0125_0001__AT_R_0125_0004__ARE)
      & has_arg0(R_0125_0001__AT_R_0125_0004__ARE,R_0125_0006__AND)
      & r_0125_0006__and(R_0125_0006__AND)
      & has_conj2(R_0125_0006__AND,R_0125_0007__LANGUAGES)
      & has_conj1(R_0125_0006__AND,R_0125_0005__MATHEMATICS)
      & has_arg1(R_0125_0001__AT_R_0125_0004__ARE,R_0125_0002__THE_R_0125_0003__TOP) ) ).