87_a_dick_1952
Tance watched helplessly, his eyeglasses broken and bent.

%3 r_0087_0002__watched watched r_0087_0001__Tance Tance r_0087_0002__watched->r_0087_0001__Tance [arg0] r_0087_0003__helplessly helplessly r_0087_0002__watched->r_0087_0003__helplessly [nim] r_0087_0006__eyeglasses eyeglasses r_0087_0006__eyeglasses->r_0087_0001__Tance [gen] r_0087_0007__broken broken r_0087_0007__broken->r_0087_0006__eyeglasses [arg1] z_000_87_a_dick_1952_22 r_0087_0007__broken->z_000_87_a_dick_1952_22 [arg0] r_0087_0008__and and r_0087_0008__and->r_0087_0007__broken [conj1] r_0087_0009__bent bent r_0087_0008__and->r_0087_0009__bent [conj2] r_0087_0009__bent->r_0087_0006__eyeglasses [arg1] z_000_87_a_dick_1952_30 r_0087_0009__bent->z_000_87_a_dick_1952_30 [arg0] z_000_87_a_dick_1952_12 z_000_87_a_dick_1952_12->r_0087_0002__watched [scope] z_000_87_a_dick_1952_12->r_0087_0008__and [restriction]
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).



%3 r_0087_0002__watched watched r_0087_0001__Tance Tance r_0087_0002__watched->r_0087_0001__Tance [arg0] r_0087_0003__helplessly helplessly r_0087_0002__watched->r_0087_0003__helplessly [nim] r_0087_0006__eyeglasses eyeglasses r_0087_0006__eyeglasses->r_0087_0001__Tance [gen] r_0087_0007__broken broken r_0087_0007__broken->r_0087_0006__eyeglasses [arg1] z_000_87_a_dick_1952_22 r_0087_0007__broken->z_000_87_a_dick_1952_22 [arg0] r_0087_0008__and and r_0087_0008__and->r_0087_0007__broken [conj1] r_0087_0009__bent bent r_0087_0008__and->r_0087_0009__bent [conj2] r_0087_0009__bent->r_0087_0006__eyeglasses [arg1] z_000_87_a_dick_1952_30 r_0087_0009__bent->z_000_87_a_dick_1952_30 [arg0] z_000_87_a_dick_1952_12 z_000_87_a_dick_1952_12->r_0087_0002__watched [conj2] z_000_87_a_dick_1952_12->r_0087_0008__and [conj1]
fof(formula,axiom,
    ? [Z_87_A_DICK_1952_12,R_87_8_AND,R_87_7_BROKEN,Z_87_A_DICK_1952_22,R_87_9_BENT,Z_87_A_DICK_1952_30,R_87_6_EYEGLASSES,R_87_2_WATCHED,R_87_1_TANCE,R_87_3_HELPLESSLY] :
      ( tance(R_87_1_TANCE)
      & helplessly(R_87_3_HELPLESSLY)
      & z_87_a_dick_1952_12(Z_87_A_DICK_1952_12)
      & conj1(Z_87_A_DICK_1952_12,R_87_8_AND)
      & and(R_87_8_AND)
      & conj1(R_87_8_AND,R_87_7_BROKEN)
      & broken(R_87_7_BROKEN,Z_87_A_DICK_1952_22,R_87_6_EYEGLASSES)
      & eyeglasses(R_87_6_EYEGLASSES)
      & gen(R_87_6_EYEGLASSES,R_87_1_TANCE)
      & conj2(R_87_8_AND,R_87_9_BENT)
      & bent(R_87_9_BENT,Z_87_A_DICK_1952_30,R_87_6_EYEGLASSES)
      & conj2(Z_87_A_DICK_1952_12,R_87_2_WATCHED)
      & watched(R_87_2_WATCHED,R_87_1_TANCE)
      & nim7(R_87_2_WATCHED,R_87_3_HELPLESSLY) ) ).



n87_a_dick_1952 n87_a_dick_1952_4 Tance n87_a_dick_1952_6 watched n87_a_dick_1952_9 helplessly n87_a_dick_1952_11 , n87_a_dick_1952_17 his n87_a_dick_1952_19 eyeglasses n87_a_dick_1952_23 * n87_a_dick_1952_25 broken n87_a_dick_1952_28 and n87_a_dick_1952_31 * n87_a_dick_1952_33 bent n87_a_dick_1952_35 . n87_a_dick_1952_1 IP-MAT n87_a_dick_1952_2 NP-SBJ n87_a_dick_1952_1->n87_a_dick_1952_2 n87_a_dick_1952_5 VBD;_I_ n87_a_dick_1952_1->n87_a_dick_1952_5 n87_a_dick_1952_7 ADVP-NIM n87_a_dick_1952_1->n87_a_dick_1952_7 n87_a_dick_1952_10 PUNC n87_a_dick_1952_1->n87_a_dick_1952_10 n87_a_dick_1952_12 PP-SCON n87_a_dick_1952_1->n87_a_dick_1952_12 n87_a_dick_1952_34 PUNC n87_a_dick_1952_1->n87_a_dick_1952_34 n87_a_dick_1952_3 NPR n87_a_dick_1952_2->n87_a_dick_1952_3 n87_a_dick_1952_3->n87_a_dick_1952_4 n87_a_dick_1952_5->n87_a_dick_1952_6 n87_a_dick_1952_8 ADV n87_a_dick_1952_7->n87_a_dick_1952_8 n87_a_dick_1952_8->n87_a_dick_1952_9 n87_a_dick_1952_10->n87_a_dick_1952_11 n87_a_dick_1952_13 IP-PPL3 n87_a_dick_1952_12->n87_a_dick_1952_13 n87_a_dick_1952_14 NP-SBJ n87_a_dick_1952_13->n87_a_dick_1952_14 n87_a_dick_1952_20 ILYR n87_a_dick_1952_13->n87_a_dick_1952_20 n87_a_dick_1952_15 NP-GEN n87_a_dick_1952_14->n87_a_dick_1952_15 n87_a_dick_1952_18 NS n87_a_dick_1952_14->n87_a_dick_1952_18 n87_a_dick_1952_16 PRO;_genm_ n87_a_dick_1952_15->n87_a_dick_1952_16 n87_a_dick_1952_16->n87_a_dick_1952_17 n87_a_dick_1952_18->n87_a_dick_1952_19 n87_a_dick_1952_21 ILYR n87_a_dick_1952_20->n87_a_dick_1952_21 n87_a_dick_1952_26 CONJP n87_a_dick_1952_20->n87_a_dick_1952_26 n87_a_dick_1952_22 NP-LGS n87_a_dick_1952_21->n87_a_dick_1952_22 n87_a_dick_1952_24 VVN;_Tn_ n87_a_dick_1952_21->n87_a_dick_1952_24 n87_a_dick_1952_22->n87_a_dick_1952_23 n87_a_dick_1952_24->n87_a_dick_1952_25 n87_a_dick_1952_27 CONJ n87_a_dick_1952_26->n87_a_dick_1952_27 n87_a_dick_1952_29 ILYR n87_a_dick_1952_26->n87_a_dick_1952_29 n87_a_dick_1952_27->n87_a_dick_1952_28 n87_a_dick_1952_30 NP-LGS n87_a_dick_1952_29->n87_a_dick_1952_30 n87_a_dick_1952_32 VVN;_Tn_ n87_a_dick_1952_29->n87_a_dick_1952_32 n87_a_dick_1952_30->n87_a_dick_1952_31 n87_a_dick_1952_32->n87_a_dick_1952_33 n87_a_dick_1952_34->n87_a_dick_1952_35
( (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))