Context                Previous, Next                Top


164_a_ted_talk_11
So the hierarchy is rooted on two ideas.

%3 r_0164_0004__is is r_0164_0001__So So r_0164_0004__is->r_0164_0001__So [nim] r_0164_0005__rooted rooted r_0164_0004__is->r_0164_0005__rooted [scope] r_0164_0002__the_r_0164_0003__hierarchy the hierarchy r_0164_0005__rooted->r_0164_0002__the_r_0164_0003__hierarchy [arg1] r_0164_0007__two_r_0164_0008__ideas two ideas r_0164_0005__rooted->r_0164_0007__two_r_0164_0008__ideas on [clr] z_000_164_a_ted_talk_11_13 r_0164_0005__rooted->z_000_164_a_ted_talk_11_13 [arg0] 
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).


%3 r_0164_0004__is_r_0164_0005__rooted is rooted z_000_164_a_ted_talk_11_13 r_0164_0004__is_r_0164_0005__rooted->z_000_164_a_ted_talk_11_13 [arg0] r_0164_0007__two_r_0164_0008__ideas two ideas r_0164_0004__is_r_0164_0005__rooted->r_0164_0007__two_r_0164_0008__ideas on [clr] r_0164_0002__the_r_0164_0003__hierarchy the hierarchy r_0164_0004__is_r_0164_0005__rooted->r_0164_0002__the_r_0164_0003__hierarchy [arg1] r_0164_0001__So So r_0164_0004__is_r_0164_0005__rooted->r_0164_0001__So [nim] 
fof(formula,axiom,
    ? [R_0164_0001__SO,R_0164_0002__THE_R_0164_0003__HIERARCHY,R_0164_0007__TWO_R_0164_0008__IDEAS,Z_000_164_A_TED_TALK_11_13,R_0164_0004__IS_R_0164_0005__ROOTED] :
      ( r_0164_0001__So(R_0164_0001__SO)
      & r_0164_0002__the_r_0164_0003__hierarchy(R_0164_0002__THE_R_0164_0003__HIERARCHY)
      & r_0164_0007__two_r_0164_0008__ideas(R_0164_0007__TWO_R_0164_0008__IDEAS)
      & z_000_164_a_ted_talk_11_13(Z_000_164_A_TED_TALK_11_13)
      & r_0164_0004__is_r_0164_0005__rooted(R_0164_0004__IS_R_0164_0005__ROOTED)
      & has_arg0(R_0164_0004__IS_R_0164_0005__ROOTED,Z_000_164_A_TED_TALK_11_13)
      & has_r_0164_0006__on_clr20(R_0164_0004__IS_R_0164_0005__ROOTED,R_0164_0007__TWO_R_0164_0008__IDEAS)
      & has_arg1(R_0164_0004__IS_R_0164_0005__ROOTED,R_0164_0002__THE_R_0164_0003__HIERARCHY)
      & has_nim2(R_0164_0004__IS_R_0164_0005__ROOTED,R_0164_0001__SO) ) ).


n164_a_ted_talk_11 n164_a_ted_talk_11__1_1_1_1 So n164_a_ted_talk_11__1_2_1_1 the n164_a_ted_talk_11__1_2_2_1 hierarchy n164_a_ted_talk_11__1_3_1 is n164_a_ted_talk_11__1_4_1_1 * n164_a_ted_talk_11__1_4_2_1 rooted n164_a_ted_talk_11__1_4_3_1_1 on n164_a_ted_talk_11__1_4_3_2_1_1 two n164_a_ted_talk_11__1_4_3_2_2_1 ideas n164_a_ted_talk_11__1_5_1 . n164_a_ted_talk_11__1 IP-MAT n164_a_ted_talk_11__1_1 ADVP-NIM n164_a_ted_talk_11__1->n164_a_ted_talk_11__1_1 n164_a_ted_talk_11__1_2 NP-SBJ n164_a_ted_talk_11__1->n164_a_ted_talk_11__1_2 n164_a_ted_talk_11__1_3 BEP;_cat_VePASS_ n164_a_ted_talk_11__1->n164_a_ted_talk_11__1_3 n164_a_ted_talk_11__1_4 IP-PPL-CAT n164_a_ted_talk_11__1->n164_a_ted_talk_11__1_4 n164_a_ted_talk_11__1_5 PUNC n164_a_ted_talk_11__1->n164_a_ted_talk_11__1_5 n164_a_ted_talk_11__1_1_1 ADV n164_a_ted_talk_11__1_1->n164_a_ted_talk_11__1_1_1 n164_a_ted_talk_11__1_1_1->n164_a_ted_talk_11__1_1_1_1 n164_a_ted_talk_11__1_2_1 D n164_a_ted_talk_11__1_2->n164_a_ted_talk_11__1_2_1 n164_a_ted_talk_11__1_2_2 N n164_a_ted_talk_11__1_2->n164_a_ted_talk_11__1_2_2 n164_a_ted_talk_11__1_2_1->n164_a_ted_talk_11__1_2_1_1 n164_a_ted_talk_11__1_2_2->n164_a_ted_talk_11__1_2_2_1 n164_a_ted_talk_11__1_3->n164_a_ted_talk_11__1_3_1 n164_a_ted_talk_11__1_4_1 NP-LGS n164_a_ted_talk_11__1_4->n164_a_ted_talk_11__1_4_1 n164_a_ted_talk_11__1_4_2 VVN;_Tn.pr_ n164_a_ted_talk_11__1_4->n164_a_ted_talk_11__1_4_2 n164_a_ted_talk_11__1_4_3 PP-CLR n164_a_ted_talk_11__1_4->n164_a_ted_talk_11__1_4_3 n164_a_ted_talk_11__1_4_1->n164_a_ted_talk_11__1_4_1_1 n164_a_ted_talk_11__1_4_2->n164_a_ted_talk_11__1_4_2_1 n164_a_ted_talk_11__1_4_3_1 P-ROLE n164_a_ted_talk_11__1_4_3->n164_a_ted_talk_11__1_4_3_1 n164_a_ted_talk_11__1_4_3_2 NP n164_a_ted_talk_11__1_4_3->n164_a_ted_talk_11__1_4_3_2 n164_a_ted_talk_11__1_4_3_1->n164_a_ted_talk_11__1_4_3_1_1 n164_a_ted_talk_11__1_4_3_2_1 NUM n164_a_ted_talk_11__1_4_3_2->n164_a_ted_talk_11__1_4_3_2_1 n164_a_ted_talk_11__1_4_3_2_2 NS n164_a_ted_talk_11__1_4_3_2->n164_a_ted_talk_11__1_4_3_2_2 n164_a_ted_talk_11__1_4_3_2_1->n164_a_ted_talk_11__1_4_3_2_1_1 n164_a_ted_talk_11__1_4_3_2_2->n164_a_ted_talk_11__1_4_3_2_2_1 n164_a_ted_talk_11__1_5->n164_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 164_a_ted_talk_11))