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_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_r_0170_0005__engulfed is engulfed r_0170_0004__is_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_0004__is_r_0170_0005__engulfed->r_0170_0007__a_r_0170_0008__revolution in [nim] 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] 
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_4 The n170_a_ted_talk_11_7 whole n170_a_ted_talk_11_9 world n170_a_ted_talk_11_11 is n170_a_ted_talk_11_14 * n170_a_ted_talk_11_16 engulfed n170_a_ted_talk_11_19 in n170_a_ted_talk_11_22 a n170_a_ted_talk_11_24 revolution n170_a_ted_talk_11_26 . n170_a_ted_talk_11_1 IP-MAT n170_a_ted_talk_11_2 NP-SBJ n170_a_ted_talk_11_1->n170_a_ted_talk_11_2 n170_a_ted_talk_11_10 BEP;_cat_VePASS_ n170_a_ted_talk_11_1->n170_a_ted_talk_11_10 n170_a_ted_talk_11_12 IP-PPL-CAT n170_a_ted_talk_11_1->n170_a_ted_talk_11_12 n170_a_ted_talk_11_25 PUNC n170_a_ted_talk_11_1->n170_a_ted_talk_11_25 n170_a_ted_talk_11_3 D n170_a_ted_talk_11_2->n170_a_ted_talk_11_3 n170_a_ted_talk_11_5 ADJP n170_a_ted_talk_11_2->n170_a_ted_talk_11_5 n170_a_ted_talk_11_8 N n170_a_ted_talk_11_2->n170_a_ted_talk_11_8 n170_a_ted_talk_11_3->n170_a_ted_talk_11_4 n170_a_ted_talk_11_6 ADJ n170_a_ted_talk_11_5->n170_a_ted_talk_11_6 n170_a_ted_talk_11_6->n170_a_ted_talk_11_7 n170_a_ted_talk_11_8->n170_a_ted_talk_11_9 n170_a_ted_talk_11_10->n170_a_ted_talk_11_11 n170_a_ted_talk_11_13 NP-LGS n170_a_ted_talk_11_12->n170_a_ted_talk_11_13 n170_a_ted_talk_11_15 VVN;_Tn.pr_ n170_a_ted_talk_11_12->n170_a_ted_talk_11_15 n170_a_ted_talk_11_17 PP-NIM n170_a_ted_talk_11_12->n170_a_ted_talk_11_17 n170_a_ted_talk_11_13->n170_a_ted_talk_11_14 n170_a_ted_talk_11_15->n170_a_ted_talk_11_16 n170_a_ted_talk_11_18 P-ROLE n170_a_ted_talk_11_17->n170_a_ted_talk_11_18 n170_a_ted_talk_11_20 NP n170_a_ted_talk_11_17->n170_a_ted_talk_11_20 n170_a_ted_talk_11_18->n170_a_ted_talk_11_19 n170_a_ted_talk_11_21 D n170_a_ted_talk_11_20->n170_a_ted_talk_11_21 n170_a_ted_talk_11_23 N n170_a_ted_talk_11_20->n170_a_ted_talk_11_23 n170_a_ted_talk_11_21->n170_a_ted_talk_11_22 n170_a_ted_talk_11_23->n170_a_ted_talk_11_24 n170_a_ted_talk_11_25->n170_a_ted_talk_11_26 
( (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))