163_a_ted_talk_11
So the hierarchy is rooted on two ideas.

n163_a_ted_talk_11 n163_a_ted_talk_11__1_1_1_1 So n163_a_ted_talk_11__1_2_1_1 the n163_a_ted_talk_11__1_2_2_1 hierarchy n163_a_ted_talk_11__1_3_1 is n163_a_ted_talk_11__1_4_1_1 * n163_a_ted_talk_11__1_4_2_1 rooted n163_a_ted_talk_11__1_4_3_1_1 on n163_a_ted_talk_11__1_4_3_2_1_1 two n163_a_ted_talk_11__1_4_3_2_2_1 ideas n163_a_ted_talk_11__1_5_1 . n163_a_ted_talk_11__1 IP-MAT n163_a_ted_talk_11__1_1 ADVP-NIM n163_a_ted_talk_11__1->n163_a_ted_talk_11__1_1 n163_a_ted_talk_11__1_2 NP-SBJ n163_a_ted_talk_11__1->n163_a_ted_talk_11__1_2 n163_a_ted_talk_11__1_3 BEP;_cat_VePASS_ n163_a_ted_talk_11__1->n163_a_ted_talk_11__1_3 n163_a_ted_talk_11__1_4 IP-PPL-CAT n163_a_ted_talk_11__1->n163_a_ted_talk_11__1_4 n163_a_ted_talk_11__1_5 PUNC n163_a_ted_talk_11__1->n163_a_ted_talk_11__1_5 n163_a_ted_talk_11__1_1_1 ADV n163_a_ted_talk_11__1_1->n163_a_ted_talk_11__1_1_1 n163_a_ted_talk_11__1_1_1->n163_a_ted_talk_11__1_1_1_1 n163_a_ted_talk_11__1_2_1 D n163_a_ted_talk_11__1_2->n163_a_ted_talk_11__1_2_1 n163_a_ted_talk_11__1_2_2 N n163_a_ted_talk_11__1_2->n163_a_ted_talk_11__1_2_2 n163_a_ted_talk_11__1_2_1->n163_a_ted_talk_11__1_2_1_1 n163_a_ted_talk_11__1_2_2->n163_a_ted_talk_11__1_2_2_1 n163_a_ted_talk_11__1_3->n163_a_ted_talk_11__1_3_1 n163_a_ted_talk_11__1_4_1 NP-LGS n163_a_ted_talk_11__1_4->n163_a_ted_talk_11__1_4_1 n163_a_ted_talk_11__1_4_2 VVN;_Tn.pr_ n163_a_ted_talk_11__1_4->n163_a_ted_talk_11__1_4_2 n163_a_ted_talk_11__1_4_3 PP-CLR n163_a_ted_talk_11__1_4->n163_a_ted_talk_11__1_4_3 n163_a_ted_talk_11__1_4_1->n163_a_ted_talk_11__1_4_1_1 n163_a_ted_talk_11__1_4_2->n163_a_ted_talk_11__1_4_2_1 n163_a_ted_talk_11__1_4_3_1 P-ROLE n163_a_ted_talk_11__1_4_3->n163_a_ted_talk_11__1_4_3_1 n163_a_ted_talk_11__1_4_3_2 NP n163_a_ted_talk_11__1_4_3->n163_a_ted_talk_11__1_4_3_2 n163_a_ted_talk_11__1_4_3_1->n163_a_ted_talk_11__1_4_3_1_1 n163_a_ted_talk_11__1_4_3_2_1 NUM n163_a_ted_talk_11__1_4_3_2->n163_a_ted_talk_11__1_4_3_2_1 n163_a_ted_talk_11__1_4_3_2_2 NS n163_a_ted_talk_11__1_4_3_2->n163_a_ted_talk_11__1_4_3_2_2 n163_a_ted_talk_11__1_4_3_2_1->n163_a_ted_talk_11__1_4_3_2_1_1 n163_a_ted_talk_11__1_4_3_2_2->n163_a_ted_talk_11__1_4_3_2_2_1 n163_a_ted_talk_11__1_5->n163_a_ted_talk_11__1_5_1
( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (NP-SBJ (D the;{the})
                  (N hierarchy;{hierarchy}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.pr_ rooted;{root[on]})
                      (PP-CLR (P-ROLE on;{on})
                              (NP (NUM two;{two})
                                  (NS ideas;{idea}))))
          (PUNC .))
  (ID 163_a_ted_talk_11))



%3 r_0163_0005__rooted_r_0163_0006__on rooted on z_0163_5005___star_ * r_0163_0005__rooted_r_0163_0006__on->z_0163_5005___star_ [arg0] r_0163_0007__two_r_0163_0008__ideas two ideas r_0163_0005__rooted_r_0163_0006__on->r_0163_0007__two_r_0163_0008__ideas [arg2] r_0163_0002__the_r_0163_0003__hierarchy the hierarchy r_0163_0005__rooted_r_0163_0006__on->r_0163_0002__the_r_0163_0003__hierarchy [arg1] r_0163_0004__is is r_0163_0004__is->r_0163_0005__rooted_r_0163_0006__on [scope] r_0163_0001__So So r_0163_0004__is->r_0163_0001__So [nim]
arc(r_0163_0004__is,r_0163_0001__So,nim).
arc(r_0163_0004__is,r_0163_0005__rooted_r_0163_0006__on,scope).
arc(r_0163_0005__rooted_r_0163_0006__on,r_0163_0002__the_r_0163_0003__hierarchy,arg1).
arc(r_0163_0005__rooted_r_0163_0006__on,r_0163_0007__two_r_0163_0008__ideas,arg2).
arc(r_0163_0005__rooted_r_0163_0006__on,z_0163_5005___star_,arg0).



%3 r_0163_0004__is_r_0163_0005__rooted_r_0163_0006__on is rooted on r_0163_0001__So So r_0163_0004__is_r_0163_0005__rooted_r_0163_0006__on->r_0163_0001__So [nim] r_0163_0002__the_r_0163_0003__hierarchy the hierarchy r_0163_0004__is_r_0163_0005__rooted_r_0163_0006__on->r_0163_0002__the_r_0163_0003__hierarchy [arg1] r_0163_0007__two_r_0163_0008__ideas two ideas r_0163_0004__is_r_0163_0005__rooted_r_0163_0006__on->r_0163_0007__two_r_0163_0008__ideas [arg2] z_0163_5005___star_ * r_0163_0004__is_r_0163_0005__rooted_r_0163_0006__on->z_0163_5005___star_ [arg0]
fof(formula,axiom,
    ? [R_0163_0001__SO,R_0163_0002__THE_R_0163_0003__HIERARCHY,R_0163_0007__TWO_R_0163_0008__IDEAS,Z_0163_5005___STAR_,R_0163_0004__IS_R_0163_0005__ROOTED_R_0163_0006__ON] :
      ( r_0163_0001__So(R_0163_0001__SO)
      & r_0163_0002__the_r_0163_0003__hierarchy(R_0163_0002__THE_R_0163_0003__HIERARCHY)
      & r_0163_0007__two_r_0163_0008__ideas(R_0163_0007__TWO_R_0163_0008__IDEAS)
      & z_0163_5005___star_(Z_0163_5005___STAR_)
      & r_0163_0004__is_r_0163_0005__rooted_r_0163_0006__on(R_0163_0004__IS_R_0163_0005__ROOTED_R_0163_0006__ON)
      & has_arg0(R_0163_0004__IS_R_0163_0005__ROOTED_R_0163_0006__ON,Z_0163_5005___STAR_)
      & has_arg2(R_0163_0004__IS_R_0163_0005__ROOTED_R_0163_0006__ON,R_0163_0007__TWO_R_0163_0008__IDEAS)
      & has_arg1(R_0163_0004__IS_R_0163_0005__ROOTED_R_0163_0006__ON,R_0163_0002__THE_R_0163_0003__HIERARCHY)
      & has_nim(R_0163_0004__IS_R_0163_0005__ROOTED_R_0163_0006__ON,R_0163_0001__SO) ) ).