( (IP-MAT (NP-SBJ;{TANCE} (NPR Tance;{Tance}))
          (VBD;_I_ watched;{watch})
          (ADVP-NIM (ADV helplessly;{helplessly}))
          (PUNC ,)
          (PP-SCON (IP-PPL3 (NP-SBJ (NP-GEN;{TANCE} (PRO;_genm_ his;{his}))
                                    (NS eyeglasses;{eyeglass}))
                            (NP-LGS *)
                            (ILYR (ILYR (VVN;_Tn_ broken;{break}))
                                  (CONJP (CONJ and;{and})
                                         (ILYR (VVN;_Tn_ bent;{bend}))))))
          (PUNC .))
  (ID 87_a_dick_1952))

arc(r_0087_0002__watched,r_0087_0001__Tance,arg0).
arc(r_0087_0002__watched,r_0087_0003__helplessly,nim).
arc(r_0087_0006__eyeglasses,r_0087_0001__Tance,gen).
arc(r_0087_0007__broken,r_0087_0006__eyeglasses,arg1).
arc(r_0087_0007__broken,z_0087_5005___star_,arg0).
arc(r_0087_0008__and,r_0087_0007__broken,conj1).
arc(r_0087_0008__and,r_0087_0009__bent,conj2).
arc(r_0087_0009__bent,r_0087_0006__eyeglasses,arg1).
arc(r_0087_0009__bent,z_0087_5005___star_,arg0).
arc(z_0087_5001,r_0087_0002__watched,scope).
arc(z_0087_5001,r_0087_0008__and,restriction).

fof(formula,axiom,
    ? [R_0087_0001__TANCE,R_0087_0003__HELPLESSLY,R_0087_0002__WATCHED,R_0087_0006__EYEGLASSES,Z_0087_5005___STAR_,R_0087_0007__BROKEN,R_0087_0009__BENT,R_0087_0008__AND,Z_0087_5001] :
      ( r_0087_0001__Tance(R_0087_0001__TANCE)
      & r_0087_0003__helplessly(R_0087_0003__HELPLESSLY)
      & z_0087_5005___star_(Z_0087_5005___STAR_)
      & z_0087_5001(Z_0087_5001)
      & has_conj1(Z_0087_5001,R_0087_0008__AND)
      & r_0087_0008__and(R_0087_0008__AND)
      & has_conj2(R_0087_0008__AND,R_0087_0009__BENT)
      & r_0087_0009__bent(R_0087_0009__BENT)
      & has_arg0(R_0087_0009__BENT,Z_0087_5005___STAR_)
      & has_arg1(R_0087_0009__BENT,R_0087_0006__EYEGLASSES)
      & r_0087_0006__eyeglasses(R_0087_0006__EYEGLASSES)
      & has_gen(R_0087_0006__EYEGLASSES,R_0087_0001__TANCE)
      & has_conj1(R_0087_0008__AND,R_0087_0007__BROKEN)
      & r_0087_0007__broken(R_0087_0007__BROKEN)
      & has_arg0(R_0087_0007__BROKEN,Z_0087_5005___STAR_)
      & has_arg1(R_0087_0007__BROKEN,R_0087_0006__EYEGLASSES)
      & has_conj2(Z_0087_5001,R_0087_0002__WATCHED)
      & r_0087_0002__watched(R_0087_0002__WATCHED)
      & has_nim(R_0087_0002__WATCHED,R_0087_0003__HELPLESSLY)
      & has_arg0(R_0087_0002__WATCHED,R_0087_0001__TANCE) ) ).