214_a_ted_talk_11
She's a choreographer, and everybody knows her work.

%3 r_0214_0002___apos_s 's r_0214_0001__She She r_0214_0002___apos_s->r_0214_0001__She [arg0] r_0214_0003__a_r_0214_0004__choreographer a choreographer r_0214_0002___apos_s->r_0214_0003__a_r_0214_0004__choreographer [prd] r_0214_0006__and and r_0214_0006__and->r_0214_0002___apos_s [conj1] r_0214_0007__everybody_quant everybody [quant] r_0214_0006__and->r_0214_0007__everybody_quant [conj2] r_0214_0008__knows knows r_0214_0007__everybody_quant->r_0214_0008__knows [scope] z_000_214_a_ted_talk_11_20 r_0214_0007__everybody_quant->z_000_214_a_ted_talk_11_20 [restriction] r_0214_0008__knows->z_000_214_a_ted_talk_11_20 [arg0] r_0214_0010__work work r_0214_0008__knows->r_0214_0010__work [arg1] r_0214_0009__her her r_0214_0010__work->r_0214_0009__her [gen]
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).



%3 r_0214_0010__work work r_0214_0009__her her r_0214_0010__work->r_0214_0009__her [gen] r_0214_0008__knows knows r_0214_0008__knows->r_0214_0010__work [arg1] z_000_214_a_ted_talk_11_20 r_0214_0008__knows->z_000_214_a_ted_talk_11_20 [arg0] r_0214_0007__everybody_quant everybody [quant] r_0214_0007__everybody_quant->r_0214_0008__knows [scope] r_0214_0007__everybody_quant->z_000_214_a_ted_talk_11_20 [restriction] r_0214_0006__and and r_0214_0006__and->r_0214_0007__everybody_quant [conj2] r_0214_0002___apos_s 's r_0214_0006__and->r_0214_0002___apos_s [conj1] r_0214_0003__a_r_0214_0004__choreographer a choreographer r_0214_0002___apos_s->r_0214_0003__a_r_0214_0004__choreographer [prd] r_0214_0001__She She r_0214_0002___apos_s->r_0214_0001__She [arg0]
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) ) ).



n214_a_ted_talk_11 n214_a_ted_talk_11__1_1_1_1_1_1 She n214_a_ted_talk_11__1_1_1_2_1 's n214_a_ted_talk_11__1_1_1_3_1_1 a n214_a_ted_talk_11__1_1_1_3_2_1 choreographer n214_a_ted_talk_11__1_1_2_1 , n214_a_ted_talk_11__1_1_3_1_1 and n214_a_ted_talk_11__1_1_3_2_1_1_1 everybody n214_a_ted_talk_11__1_1_3_2_2_1 knows n214_a_ted_talk_11__1_1_3_2_3_1_1_1 her n214_a_ted_talk_11__1_1_3_2_3_2_1 work n214_a_ted_talk_11__1_2_1 . n214_a_ted_talk_11__1 IP-MAT n214_a_ted_talk_11__1_1 ILYR n214_a_ted_talk_11__1->n214_a_ted_talk_11__1_1 n214_a_ted_talk_11__1_2 PUNC n214_a_ted_talk_11__1->n214_a_ted_talk_11__1_2 n214_a_ted_talk_11__1_1_1 ILYR n214_a_ted_talk_11__1_1->n214_a_ted_talk_11__1_1_1 n214_a_ted_talk_11__1_1_2 PUNC n214_a_ted_talk_11__1_1->n214_a_ted_talk_11__1_1_2 n214_a_ted_talk_11__1_1_3 CONJP n214_a_ted_talk_11__1_1->n214_a_ted_talk_11__1_1_3 n214_a_ted_talk_11__1_1_1_1 NP-SBJ n214_a_ted_talk_11__1_1_1->n214_a_ted_talk_11__1_1_1_1 n214_a_ted_talk_11__1_1_1_2 BEP;_Ln_ n214_a_ted_talk_11__1_1_1->n214_a_ted_talk_11__1_1_1_2 n214_a_ted_talk_11__1_1_1_3 NP-PRD n214_a_ted_talk_11__1_1_1->n214_a_ted_talk_11__1_1_1_3 n214_a_ted_talk_11__1_1_1_1_1 PRO n214_a_ted_talk_11__1_1_1_1->n214_a_ted_talk_11__1_1_1_1_1 n214_a_ted_talk_11__1_1_1_1_1->n214_a_ted_talk_11__1_1_1_1_1_1 n214_a_ted_talk_11__1_1_1_2->n214_a_ted_talk_11__1_1_1_2_1 n214_a_ted_talk_11__1_1_1_3_1 D n214_a_ted_talk_11__1_1_1_3->n214_a_ted_talk_11__1_1_1_3_1 n214_a_ted_talk_11__1_1_1_3_2 N n214_a_ted_talk_11__1_1_1_3->n214_a_ted_talk_11__1_1_1_3_2 n214_a_ted_talk_11__1_1_1_3_1->n214_a_ted_talk_11__1_1_1_3_1_1 n214_a_ted_talk_11__1_1_1_3_2->n214_a_ted_talk_11__1_1_1_3_2_1 n214_a_ted_talk_11__1_1_2->n214_a_ted_talk_11__1_1_2_1 n214_a_ted_talk_11__1_1_3_1 CONJ n214_a_ted_talk_11__1_1_3->n214_a_ted_talk_11__1_1_3_1 n214_a_ted_talk_11__1_1_3_2 ILYR n214_a_ted_talk_11__1_1_3->n214_a_ted_talk_11__1_1_3_2 n214_a_ted_talk_11__1_1_3_1->n214_a_ted_talk_11__1_1_3_1_1 n214_a_ted_talk_11__1_1_3_2_1 NP-SBJ n214_a_ted_talk_11__1_1_3_2->n214_a_ted_talk_11__1_1_3_2_1 n214_a_ted_talk_11__1_1_3_2_2 VBP;__ n214_a_ted_talk_11__1_1_3_2->n214_a_ted_talk_11__1_1_3_2_2 n214_a_ted_talk_11__1_1_3_2_3 NP-OB1 n214_a_ted_talk_11__1_1_3_2->n214_a_ted_talk_11__1_1_3_2_3 n214_a_ted_talk_11__1_1_3_2_1_1 Q;_nphd_ n214_a_ted_talk_11__1_1_3_2_1->n214_a_ted_talk_11__1_1_3_2_1_1 n214_a_ted_talk_11__1_1_3_2_1_1->n214_a_ted_talk_11__1_1_3_2_1_1_1 n214_a_ted_talk_11__1_1_3_2_2->n214_a_ted_talk_11__1_1_3_2_2_1 n214_a_ted_talk_11__1_1_3_2_3_1 NP-GEN n214_a_ted_talk_11__1_1_3_2_3->n214_a_ted_talk_11__1_1_3_2_3_1 n214_a_ted_talk_11__1_1_3_2_3_2 N n214_a_ted_talk_11__1_1_3_2_3->n214_a_ted_talk_11__1_1_3_2_3_2 n214_a_ted_talk_11__1_1_3_2_3_1_1 PRO;_genm_ n214_a_ted_talk_11__1_1_3_2_3_1->n214_a_ted_talk_11__1_1_3_2_3_1_1 n214_a_ted_talk_11__1_1_3_2_3_1_1->n214_a_ted_talk_11__1_1_3_2_3_1_1_1 n214_a_ted_talk_11__1_1_3_2_3_2->n214_a_ted_talk_11__1_1_3_2_3_2_1 n214_a_ted_talk_11__1_2->n214_a_ted_talk_11__1_2_1
( (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))