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_214_6_AND,R_214_2__APOS_S,R_214_1_SHE,R_214_3_A_CHOREOGRAPHER] :
( she(R_214_1_SHE)
& a_choreographer(R_214_3_A_CHOREOGRAPHER)
& ! [Z_214_A_TED_TALK_11_20] :
( true
=> ? [R_214_8_KNOWS,R_214_10_WORK,R_214_9_HER] :
( her(R_214_9_HER)
& knows(R_214_8_KNOWS,Z_214_A_TED_TALK_11_20,R_214_10_WORK)
& work(R_214_10_WORK)
& gen(R_214_10_WORK,R_214_9_HER) ) )
& conj2(CONJ2)
& and(R_214_6_AND)
& conj1(R_214_6_AND,R_214_2__APOS_S)
& _apos_s(R_214_2__APOS_S,R_214_1_SHE,R_214_3_A_CHOREOGRAPHER) ) ).
( (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))