163_a_ted_talk_11
So the hierarchy is rooted on two ideas.
( (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))
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).
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) ) ).