214_a_ted_talk_11
She's a choreographer, and everybody knows her work.
arc(r_0214_0002___apos_s, r_0214_0001__She, arg0).
arc(r_0214_0002___apos_s, r_0214_0003__a_r_0214_0004__choreographer, prd).
arc(r_0214_0006__and, r_0214_0002___apos_s, conj1).
arc(r_0214_0006__and, r_0214_0007__everybody_quant, conj2).
arc(r_0214_0007__everybody_quant, r_0214_0008__knows, scope).
arc(r_0214_0007__everybody_quant, z_000_214_a_ted_talk_11_20, restriction).
arc(r_0214_0008__knows, r_0214_0010__work, arg1).
arc(r_0214_0008__knows, z_000_214_a_ted_talk_11_20, arg0).
arc(r_0214_0010__work, r_0214_0009__her, gen).
fof(formula,axiom,
? [R_0214_0001__SHE,R_0214_0003__A_R_0214_0004__CHOREOGRAPHER,R_0214_0002___APOS_S,R_0214_0006__AND] :
( r_0214_0001__She(R_0214_0001__SHE)
& r_0214_0003__a_r_0214_0004__choreographer(R_0214_0003__A_R_0214_0004__CHOREOGRAPHER)
& r_0214_0006__and(R_0214_0006__AND)
& ! [Z_000_214_A_TED_TALK_11_20] :
( z_000_214_a_ted_talk_11_20(Z_000_214_A_TED_TALK_11_20)
=> ? [R_0214_0009__HER,R_0214_0010__WORK,R_0214_0008__KNOWS] :
( r_0214_0009__her(R_0214_0009__HER)
& r_0214_0008__knows(R_0214_0008__KNOWS)
& has_arg0(R_0214_0008__KNOWS,Z_000_214_A_TED_TALK_11_20)
& has_arg1(R_0214_0008__KNOWS,R_0214_0010__WORK)
& r_0214_0010__work(R_0214_0010__WORK)
& has_gen(R_0214_0010__WORK,R_0214_0009__HER) ) )
& has_conj1(R_0214_0006__AND,R_0214_0002___APOS_S)
& r_0214_0002___apos_s(R_0214_0002___APOS_S)
& has_prd(R_0214_0002___APOS_S,R_0214_0003__A_R_0214_0004__CHOREOGRAPHER)
& has_arg0(R_0214_0002___APOS_S,R_0214_0001__SHE) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ;{GILLIAN} (PRO She;{she}))
(BEP;_Ln_ <apos>s;{be})
(NP-PRD (D a;{a})
(N choreographer;{choreographer})))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (Q;_nphd_ everybody;{everybody}))
(VBP;__ knows;{know})
(NP-OB1 (NP-GEN;{GILLIAN} (PRO;_genm_ her;{her}))
(N work;{work})))))
(PUNC .))
(ID 214_a_ted_talk_11))