( (IP-MAT (NP-SBJ (PRO I;{I}))
          (BEP;_cat_VePASS_ <apos>m;{be})
          (IP-PPL-CAT (VVN;__ fascinated;{fascinate})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (IP-REL (ADVP-187 (RADV how;{how}))
                                          (NP-SBJ;{PEOPLETALENT} (NS people;{people}))
                                          (VBD;_cat_Vt_ got;{get})
                                          (IP-INF-CAT (ADVP-NIM *ICH*-187)
                                                      (TO to;{to})
                                                      (BE;__ be;{be})
                                                      (ADVP-CLR (ADV there;{there})))))))
          (PUNC .))
  (ID 209_a_ted_talk_11))

arc(r_0209_0002___apos_m,r_0209_0003__fascinated,scope).
arc(r_0209_0003__fascinated,r_0209_0001__I,arg1).
arc(r_0209_0003__fascinated,r_0209_0005__how,r_0209_0004__by_arg0).
arc(r_0209_0007__got,r_0209_0009__be_r_0209_0010__there,scope).
arc(r_0209_0009__be_r_0209_0010__there,r_0209_0005__how,nim).
arc(r_0209_0009__be_r_0209_0010__there,r_0209_0006__people,arg0).

fof(formula,axiom,
    ? [R_0209_0001__I,R_0209_0005__HOW,R_0209_0002___APOS_M_R_0209_0003__FASCINATED,R_0209_0006__PEOPLE,R_0209_0007__GOT_R_0209_0009__BE_R_0209_0010__THERE] :
      ( r_0209_0001__I(R_0209_0001__I)
      & r_0209_0005__how(R_0209_0005__HOW)
      & r_0209_0006__people(R_0209_0006__PEOPLE)
      & r_0209_0007__got_r_0209_0009__be_r_0209_0010__there(R_0209_0007__GOT_R_0209_0009__BE_R_0209_0010__THERE)
      & has_arg0(R_0209_0007__GOT_R_0209_0009__BE_R_0209_0010__THERE,R_0209_0006__PEOPLE)
      & has_nim(R_0209_0007__GOT_R_0209_0009__BE_R_0209_0010__THERE,R_0209_0005__HOW)
      & r_0209_0002___apos_m_r_0209_0003__fascinated(R_0209_0002___APOS_M_R_0209_0003__FASCINATED)
      & has_r_0209_0004__by_arg0(R_0209_0002___APOS_M_R_0209_0003__FASCINATED,R_0209_0005__HOW)
      & has_arg1(R_0209_0002___APOS_M_R_0209_0003__FASCINATED,R_0209_0001__I) ) ).