( (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 213_a_ted_talk_11))

arc(r_0213_0002___apos_s,r_0213_0001__She,arg0).
arc(r_0213_0002___apos_s,r_0213_0003__a_r_0213_0004__choreographer,prd).
arc(r_0213_0006__and,r_0213_0002___apos_s,conj1).
arc(r_0213_0006__and,r_0213_0007__everybody__quant,conj2).
arc(r_0213_0007__everybody__quant,r_0213_0008__knows,scope).
arc(r_0213_0007__everybody__quant,z_0213_5005,restriction).
arc(r_0213_0008__knows,r_0213_0010__work,arg1).
arc(r_0213_0008__knows,z_0213_5005,arg0).
arc(r_0213_0010__work,r_0213_0001__She,gen).

fof(formula,axiom,
    ? [R_0213_0001__SHE,R_0213_0003__A_R_0213_0004__CHOREOGRAPHER,R_0213_0002___APOS_S,R_0213_0006__AND] :
      ( r_0213_0001__She(R_0213_0001__SHE)
      & r_0213_0003__a_r_0213_0004__choreographer(R_0213_0003__A_R_0213_0004__CHOREOGRAPHER)
      & r_0213_0006__and(R_0213_0006__AND)
      & ! [Z_0213_5005] :
          ( z_0213_5005(Z_0213_5005)
         => ? [R_0213_0010__WORK,R_0213_0008__KNOWS] :
              ( r_0213_0008__knows(R_0213_0008__KNOWS)
              & has_arg0(R_0213_0008__KNOWS,Z_0213_5005)
              & has_arg1(R_0213_0008__KNOWS,R_0213_0010__WORK)
              & r_0213_0010__work(R_0213_0010__WORK)
              & has_gen(R_0213_0010__WORK,R_0213_0001__SHE) ) )
      & has_conj1(R_0213_0006__AND,R_0213_0002___APOS_S)
      & r_0213_0002___apos_s(R_0213_0002___APOS_S)
      & has_prd(R_0213_0002___APOS_S,R_0213_0003__A_R_0213_0004__CHOREOGRAPHER)
      & has_arg0(R_0213_0002___APOS_S,R_0213_0001__SHE) ) ).