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 z_000_125_a_ted_talk_11_27 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] r_0125_0009__then then z_000_125_a_ted_talk_11_27->r_0125_0009__then [nim] r_0125_0017__are are 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_0015__the_r_0125_0016__bottom the bottom r_0125_0017__are->r_0125_0015__the_r_0125_0016__bottom at [clr] r_0125_0013__and and r_0125_0013__and->z_000_125_a_ted_talk_11_27 [conj2] r_0125_0013__and->r_0125_0017__are [conj3] r_0125_0004__are are r_0125_0013__and->r_0125_0004__are [conj1] r_0125_0006__and and r_0125_0004__are->r_0125_0006__and [arg0] 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_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] 
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__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))