145_a_ted_talk_11
They're the people who come out the top.
arc(r_0145_0002___apos_re, r_0145_0001__They, arg0).
arc(r_0145_0002___apos_re, r_0145_0003__the_r_0145_0004__people, prd).
arc(r_0145_0006__come_r_0145_0007__out, r_0145_0003__the_r_0145_0004__people, arg0).
arc(r_0145_0006__come_r_0145_0007__out, r_0145_0008__the_r_0145_0009__top, nim20).
fof(formula,axiom,
? [R_0145_0001__THEY,R_0145_0003__THE_R_0145_0004__PEOPLE,R_0145_0002___APOS_RE,R_0145_0008__THE_R_0145_0009__TOP,R_0145_0006__COME_R_0145_0007__OUT] :
( r_0145_0001__They(R_0145_0001__THEY)
& r_0145_0003__the_r_0145_0004__people(R_0145_0003__THE_R_0145_0004__PEOPLE)
& r_0145_0008__the_r_0145_0009__top(R_0145_0008__THE_R_0145_0009__TOP)
& r_0145_0006__come_r_0145_0007__out(R_0145_0006__COME_R_0145_0007__OUT)
& has_nim20(R_0145_0006__COME_R_0145_0007__OUT,R_0145_0008__THE_R_0145_0009__TOP)
& has_arg0(R_0145_0006__COME_R_0145_0007__OUT,R_0145_0003__THE_R_0145_0004__PEOPLE)
& r_0145_0002___apos_re(R_0145_0002___APOS_RE)
& has_prd(R_0145_0002___APOS_RE,R_0145_0003__THE_R_0145_0004__PEOPLE)
& has_arg0(R_0145_0002___APOS_RE,R_0145_0001__THEY) ) ).
( (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 145_a_ted_talk_11))