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

arc(r_0169_0001__The_r_0169_0003__world,r_0169_0002__whole,attrib).
arc(r_0169_0004__is,r_0169_0005__engulfed,scope).
arc(r_0169_0005__engulfed,r_0169_0001__The_r_0169_0003__world,arg1).
arc(r_0169_0005__engulfed,r_0169_0007__a_r_0169_0008__revolution,r_0169_0006__in__nim).
arc(r_0169_0005__engulfed,z_0169_5005___star_,arg0).

fof(formula,axiom,
    ? [R_0169_0002__WHOLE,R_0169_0001__THE_R_0169_0003__WORLD,R_0169_0007__A_R_0169_0008__REVOLUTION,Z_0169_5005___STAR_,R_0169_0004__IS_R_0169_0005__ENGULFED] :
      ( r_0169_0002__whole(R_0169_0002__WHOLE)
      & r_0169_0007__a_r_0169_0008__revolution(R_0169_0007__A_R_0169_0008__REVOLUTION)
      & z_0169_5005___star_(Z_0169_5005___STAR_)
      & r_0169_0004__is_r_0169_0005__engulfed(R_0169_0004__IS_R_0169_0005__ENGULFED)
      & has_arg0(R_0169_0004__IS_R_0169_0005__ENGULFED,Z_0169_5005___STAR_)
      & has_r_0169_0006__in__nim(R_0169_0004__IS_R_0169_0005__ENGULFED,R_0169_0007__A_R_0169_0008__REVOLUTION)
      & has_arg1(R_0169_0004__IS_R_0169_0005__ENGULFED,R_0169_0001__THE_R_0169_0003__WORLD)
      & r_0169_0001__The_r_0169_0003__world(R_0169_0001__THE_R_0169_0003__WORLD)
      & has_attrib(R_0169_0001__THE_R_0169_0003__WORLD,R_0169_0002__WHOLE) ) ).