( (IP-MAT (NP-SBJ (PRO They;{they}))
          (BEP;_Ln_ <apos>re;{be})
          (NP-PRD (D the;{the})
                  (N people;{people})
                  (IP-REL (NP-SBJ (RPRO who;{who}))
                          (VBP;_phr_Vp_ come;{come[out]})
                          (RP out;{out})
                          (NP-NIM (D the;{the})
                                  (N top;{top}))))
          (PUNC .))
  (ID 144_a_ted_talk_11))

arc(r_0144_0002___apos_re,r_0144_0001__They,arg0).
arc(r_0144_0002___apos_re,r_0144_0003__the_r_0144_0004__people,prd).
arc(r_0144_0006__come_r_0144_0007__out,r_0144_0003__the_r_0144_0004__people,arg0).
arc(r_0144_0006__come_r_0144_0007__out,r_0144_0008__the_r_0144_0009__top,nim).

fof(formula,axiom,
    ? [R_0144_0001__THEY,R_0144_0003__THE_R_0144_0004__PEOPLE,R_0144_0002___APOS_RE,R_0144_0008__THE_R_0144_0009__TOP,R_0144_0006__COME_R_0144_0007__OUT] :
      ( r_0144_0001__They(R_0144_0001__THEY)
      & r_0144_0003__the_r_0144_0004__people(R_0144_0003__THE_R_0144_0004__PEOPLE)
      & r_0144_0008__the_r_0144_0009__top(R_0144_0008__THE_R_0144_0009__TOP)
      & r_0144_0006__come_r_0144_0007__out(R_0144_0006__COME_R_0144_0007__OUT)
      & has_nim(R_0144_0006__COME_R_0144_0007__OUT,R_0144_0008__THE_R_0144_0009__TOP)
      & has_arg0(R_0144_0006__COME_R_0144_0007__OUT,R_0144_0003__THE_R_0144_0004__PEOPLE)
      & r_0144_0002___apos_re(R_0144_0002___APOS_RE)
      & has_prd(R_0144_0002___APOS_RE,R_0144_0003__THE_R_0144_0004__PEOPLE)
      & has_arg0(R_0144_0002___APOS_RE,R_0144_0001__THEY) ) ).