( (IP-PPL (ADVP-NIM (ADV Just;{just}))
          (VAG;_Tn_ seeing;{see})
          (NP-OB1 (IP-REL (NP-165 (RPRO what;{what}))
                          (NP-SBJ;{SIRENA} (PRO she;{she}))
                          (MD;_cat_Vi_ could;{can})
                          (IP-INF-CAT (NP-OB1 *ICH*-165)
                                      (DO;_Tn_ do;{do}))))
          (PUNC .))
  (ID 34_a_ted_talk_11))

arc(r_0034_0002__seeing,r_0034_0001__Just,nim).
arc(r_0034_0002__seeing,r_0034_0003__what,arg1).
arc(r_0034_0002__seeing,z_0034_5002,arg0).
arc(r_0034_0005__could,r_0034_0006__do,scope).
arc(r_0034_0006__do,r_0034_0003__what,arg1).
arc(r_0034_0006__do,r_0034_0004__she,arg0).

fof(formula,axiom,
    ? [R_0034_0001__JUST,R_0034_0003__WHAT,Z_0034_5002,R_0034_0002__SEEING,R_0034_0004__SHE,R_0034_0005__COULD_R_0034_0006__DO] :
      ( r_0034_0001__Just(R_0034_0001__JUST)
      & r_0034_0003__what(R_0034_0003__WHAT)
      & r_0034_0004__she(R_0034_0004__SHE)
      & z_0034_5002(Z_0034_5002)
      & r_0034_0005__could_r_0034_0006__do(R_0034_0005__COULD_R_0034_0006__DO)
      & has_arg0(R_0034_0005__COULD_R_0034_0006__DO,R_0034_0004__SHE)
      & has_arg1(R_0034_0005__COULD_R_0034_0006__DO,R_0034_0003__WHAT)
      & r_0034_0002__seeing(R_0034_0002__SEEING)
      & has_arg0(R_0034_0002__SEEING,Z_0034_5002)
      & has_arg1(R_0034_0002__SEEING,R_0034_0003__WHAT)
      & has_nim(R_0034_0002__SEEING,R_0034_0001__JUST) ) ).