arc(r_0087_0002__watched, r_0087_0001__Tance, arg0).
arc(r_0087_0002__watched, r_0087_0003__helplessly, nim7).
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_000_87_a_dick_1952_22, 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_000_87_a_dick_1952_30, arg0).
arc(z_000_87_a_dick_1952_12, r_0087_0002__watched, scope).
arc(z_000_87_a_dick_1952_12, 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_000_87_A_DICK_1952_22,R_0087_0007__BROKEN,Z_000_87_A_DICK_1952_30,R_0087_0009__BENT,R_0087_0008__AND,Z_000_87_A_DICK_1952_12] :
      ( r_0087_0001__Tance(R_0087_0001__TANCE)
      & r_0087_0003__helplessly(R_0087_0003__HELPLESSLY)
      & z_000_87_a_dick_1952_22(Z_000_87_A_DICK_1952_22)
      & z_000_87_a_dick_1952_30(Z_000_87_A_DICK_1952_30)
      & z_000_87_a_dick_1952_12(Z_000_87_A_DICK_1952_12)
      & has_conj1(Z_000_87_A_DICK_1952_12,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_000_87_A_DICK_1952_30)
      & 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_000_87_A_DICK_1952_22)
      & has_arg1(R_0087_0007__BROKEN,R_0087_0006__EYEGLASSES)
      & has_conj2(Z_000_87_A_DICK_1952_12,R_0087_0002__WATCHED)
      & r_0087_0002__watched(R_0087_0002__WATCHED)
      & has_nim7(R_0087_0002__WATCHED,R_0087_0003__HELPLESSLY)
      & has_arg0(R_0087_0002__WATCHED,R_0087_0001__TANCE) ) ).

( (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}))
                            (ILYR (ILYR (NP-LGS *)
                                        (VVN;_Tn_ broken;{break}))
                                  (CONJP (CONJ and;{and})
                                         (ILYR (NP-LGS *)
                                               (VVN;_Tn_ bent;{bend}))))))
          (PUNC .))
  (ID 87_a_dick_1952))