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).

fof(formula,axiom,
    ? [R_0170_0002__WHOLE,R_0170_0001__THE_R_0170_0003__WORLD,R_0170_0007__A_R_0170_0008__REVOLUTION,Z_000_170_A_TED_TALK_11_13,R_0170_0004__IS_R_0170_0005__ENGULFED] :
      ( r_0170_0002__whole(R_0170_0002__WHOLE)
      & r_0170_0007__a_r_0170_0008__revolution(R_0170_0007__A_R_0170_0008__REVOLUTION)
      & z_000_170_a_ted_talk_11_13(Z_000_170_A_TED_TALK_11_13)
      & r_0170_0004__is_r_0170_0005__engulfed(R_0170_0004__IS_R_0170_0005__ENGULFED)
      & has_arg0(R_0170_0004__IS_R_0170_0005__ENGULFED,Z_000_170_A_TED_TALK_11_13)
      & has_r_0170_0006__in_nim20(R_0170_0004__IS_R_0170_0005__ENGULFED,R_0170_0007__A_R_0170_0008__REVOLUTION)
      & has_arg1(R_0170_0004__IS_R_0170_0005__ENGULFED,R_0170_0001__THE_R_0170_0003__WORLD)
      & r_0170_0001__The_r_0170_0003__world(R_0170_0001__THE_R_0170_0003__WORLD)
      & has_attrib5(R_0170_0001__THE_R_0170_0003__WORLD,R_0170_0002__WHOLE) ) ).

( (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))