164_a_ted_talk_11
So the hierarchy is rooted on two ideas.
arc(r_0164_0004__is, r_0164_0001__So, nim2).
arc(r_0164_0004__is, r_0164_0005__rooted, scope).
arc(r_0164_0005__rooted, r_0164_0002__the_r_0164_0003__hierarchy, arg1).
arc(r_0164_0005__rooted, r_0164_0007__two_r_0164_0008__ideas, r_0164_0006__on_clr20).
arc(r_0164_0005__rooted, z_000_164_a_ted_talk_11_13, arg0).
fof(formula,axiom,
? [R_164_4_IS_ROOTED,Z_164_A_TED_TALK_11_13,R_164_2_THE_HIERARCHY,R_164_1_SO,R_164_7_TWO_IDEAS] :
( the_hierarchy(R_164_2_THE_HIERARCHY)
& so(R_164_1_SO)
& two_ideas(R_164_7_TWO_IDEAS)
& is_rooted(R_164_4_IS_ROOTED,Z_164_A_TED_TALK_11_13,R_164_2_THE_HIERARCHY)
& nim2(R_164_4_IS_ROOTED,R_164_1_SO)
& on_clr20(R_164_4_IS_ROOTED,R_164_7_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 164_a_ted_talk_11))