Context                Previous, Next                Top


170_a_ted_talk_11
The whole world is engulfed in a revolution.

%3 r_0170_0001__The_r_0170_0003__world The world r_0170_0002__whole whole r_0170_0001__The_r_0170_0003__world->r_0170_0002__whole [attrib] r_0170_0004__is is r_0170_0005__engulfed engulfed r_0170_0004__is->r_0170_0005__engulfed [scope] r_0170_0005__engulfed->r_0170_0001__The_r_0170_0003__world [arg1] r_0170_0007__a_r_0170_0008__revolution a revolution r_0170_0005__engulfed->r_0170_0007__a_r_0170_0008__revolution in [nim] z_000_170_a_ted_talk_11_13 r_0170_0005__engulfed->z_000_170_a_ted_talk_11_13 [arg0] 
arc(r_0170_0001__The_r_0170_0003__world, r_0170_0002__whole, attrib5).
arc(r_0170_0004__is, r_0170_0005__engulfed, scope).
arc(r_0170_0005__engulfed, r_0170_0001__The_r_0170_0003__world, arg1).
arc(r_0170_0005__engulfed, r_0170_0007__a_r_0170_0008__revolution, r_0170_0006__in_nim20).
arc(r_0170_0005__engulfed, z_000_170_a_ted_talk_11_13, arg0).


%3 r_0170_0004__is_r_0170_0005__engulfed is engulfed z_000_170_a_ted_talk_11_13 r_0170_0004__is_r_0170_0005__engulfed->z_000_170_a_ted_talk_11_13 [arg0] r_0170_0007__a_r_0170_0008__revolution a revolution r_0170_0004__is_r_0170_0005__engulfed->r_0170_0007__a_r_0170_0008__revolution in [nim] r_0170_0001__The_r_0170_0003__world The world r_0170_0004__is_r_0170_0005__engulfed->r_0170_0001__The_r_0170_0003__world [arg1] r_0170_0002__whole whole r_0170_0001__The_r_0170_0003__world->r_0170_0002__whole [attrib] 
fof(formula,axiom,
    ? [R_170_4_IS_ENGULFED,Z_170_A_TED_TALK_11_13,R_170_1_THE_WORLD,R_170_2_WHOLE,R_170_7_A_REVOLUTION] :
      ( whole(R_170_2_WHOLE)
      & a_revolution(R_170_7_A_REVOLUTION)
      & is_engulfed(R_170_4_IS_ENGULFED,Z_170_A_TED_TALK_11_13,R_170_1_THE_WORLD)
      & the_world(R_170_1_THE_WORLD)
      & attrib5(R_170_1_THE_WORLD,R_170_2_WHOLE)
      & in_nim20(R_170_4_IS_ENGULFED,R_170_7_A_REVOLUTION) ) ).


n170_a_ted_talk_11 n170_a_ted_talk_11__1_1_1_1 The n170_a_ted_talk_11__1_1_2_1_1 whole n170_a_ted_talk_11__1_1_3_1 world n170_a_ted_talk_11__1_2_1 is n170_a_ted_talk_11__1_3_1_1 * n170_a_ted_talk_11__1_3_2_1 engulfed n170_a_ted_talk_11__1_3_3_1_1 in n170_a_ted_talk_11__1_3_3_2_1_1 a n170_a_ted_talk_11__1_3_3_2_2_1 revolution n170_a_ted_talk_11__1_4_1 . n170_a_ted_talk_11__1 IP-MAT n170_a_ted_talk_11__1_1 NP-SBJ n170_a_ted_talk_11__1->n170_a_ted_talk_11__1_1 n170_a_ted_talk_11__1_2 BEP;_cat_VePASS_ n170_a_ted_talk_11__1->n170_a_ted_talk_11__1_2 n170_a_ted_talk_11__1_3 IP-PPL-CAT n170_a_ted_talk_11__1->n170_a_ted_talk_11__1_3 n170_a_ted_talk_11__1_4 PUNC n170_a_ted_talk_11__1->n170_a_ted_talk_11__1_4 n170_a_ted_talk_11__1_1_1 D n170_a_ted_talk_11__1_1->n170_a_ted_talk_11__1_1_1 n170_a_ted_talk_11__1_1_2 ADJP n170_a_ted_talk_11__1_1->n170_a_ted_talk_11__1_1_2 n170_a_ted_talk_11__1_1_3 N n170_a_ted_talk_11__1_1->n170_a_ted_talk_11__1_1_3 n170_a_ted_talk_11__1_1_1->n170_a_ted_talk_11__1_1_1_1 n170_a_ted_talk_11__1_1_2_1 ADJ n170_a_ted_talk_11__1_1_2->n170_a_ted_talk_11__1_1_2_1 n170_a_ted_talk_11__1_1_2_1->n170_a_ted_talk_11__1_1_2_1_1 n170_a_ted_talk_11__1_1_3->n170_a_ted_talk_11__1_1_3_1 n170_a_ted_talk_11__1_2->n170_a_ted_talk_11__1_2_1 n170_a_ted_talk_11__1_3_1 NP-LGS n170_a_ted_talk_11__1_3->n170_a_ted_talk_11__1_3_1 n170_a_ted_talk_11__1_3_2 VVN;_Tn.pr_ n170_a_ted_talk_11__1_3->n170_a_ted_talk_11__1_3_2 n170_a_ted_talk_11__1_3_3 PP-NIM n170_a_ted_talk_11__1_3->n170_a_ted_talk_11__1_3_3 n170_a_ted_talk_11__1_3_1->n170_a_ted_talk_11__1_3_1_1 n170_a_ted_talk_11__1_3_2->n170_a_ted_talk_11__1_3_2_1 n170_a_ted_talk_11__1_3_3_1 P-ROLE n170_a_ted_talk_11__1_3_3->n170_a_ted_talk_11__1_3_3_1 n170_a_ted_talk_11__1_3_3_2 NP n170_a_ted_talk_11__1_3_3->n170_a_ted_talk_11__1_3_3_2 n170_a_ted_talk_11__1_3_3_1->n170_a_ted_talk_11__1_3_3_1_1 n170_a_ted_talk_11__1_3_3_2_1 D n170_a_ted_talk_11__1_3_3_2->n170_a_ted_talk_11__1_3_3_2_1 n170_a_ted_talk_11__1_3_3_2_2 N n170_a_ted_talk_11__1_3_3_2->n170_a_ted_talk_11__1_3_3_2_2 n170_a_ted_talk_11__1_3_3_2_1->n170_a_ted_talk_11__1_3_3_2_1_1 n170_a_ted_talk_11__1_3_3_2_2->n170_a_ted_talk_11__1_3_3_2_2_1 n170_a_ted_talk_11__1_4->n170_a_ted_talk_11__1_4_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ whole;{whole}))
                  (N world;{world}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.pr_ engulfed;{engulf[in]})
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D a;{a})
                                  (N revolution;{revolution}))))
          (PUNC .))
  (ID 170_a_ted_talk_11))