( (IP-MAT (NP-SBJ (PRO I;{I}))
          (HVP;_cat_Ve_ <apos>ve;{have})
          (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                      (IP-PPL-CAT (VVN;_phr_Vn.p_ blown;{blow[away]})
                                  (RP away;{away})
                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                          (NP (D the;{the})
                                              (ADJP (ADJ whole;{whole}))
                                              (N thing;{thing})))))
          (PUNC .))
  (ID 4_a_ted_talk_11))

arc(r_0004_0002___apos_ve,r_0004_0003__been,scope).
arc(r_0004_0003__been,r_0004_0004__blown_r_0004_0005__away,scope).
arc(r_0004_0004__blown_r_0004_0005__away,r_0004_0001__I,arg1).
arc(r_0004_0004__blown_r_0004_0005__away,r_0004_0007__the_r_0004_0009__thing,r_0004_0006__by_arg0).
arc(r_0004_0007__the_r_0004_0009__thing,r_0004_0008__whole,attrib).

fof(formula,axiom,
    ? [R_0004_0001__I,R_0004_0008__WHOLE,R_0004_0007__THE_R_0004_0009__THING,R_0004_0002___APOS_VE_R_0004_0003__BEEN_R_0004_0004__BLOWN_R_0004_0005__AWAY] :
      ( r_0004_0001__I(R_0004_0001__I)
      & r_0004_0008__whole(R_0004_0008__WHOLE)
      & r_0004_0002___apos_ve_r_0004_0003__been_r_0004_0004__blown_r_0004_0005__away(R_0004_0002___APOS_VE_R_0004_0003__BEEN_R_0004_0004__BLOWN_R_0004_0005__AWAY)
      & has_r_0004_0006__by_arg0(R_0004_0002___APOS_VE_R_0004_0003__BEEN_R_0004_0004__BLOWN_R_0004_0005__AWAY,R_0004_0007__THE_R_0004_0009__THING)
      & r_0004_0007__the_r_0004_0009__thing(R_0004_0007__THE_R_0004_0009__THING)
      & has_attrib(R_0004_0007__THE_R_0004_0009__THING,R_0004_0008__WHOLE)
      & has_arg1(R_0004_0002___APOS_VE_R_0004_0003__BEEN_R_0004_0004__BLOWN_R_0004_0005__AWAY,R_0004_0001__I) ) ).