Context                Previous, Next                Top


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 z_000_87_a_dick_1952_12 r_0087_0008__and and z_000_87_a_dick_1952_12->r_0087_0008__and [conj1] r_0087_0002__watched watched z_000_87_a_dick_1952_12->r_0087_0002__watched [conj2] r_0087_0009__bent bent r_0087_0008__and->r_0087_0009__bent [conj2] r_0087_0007__broken broken r_0087_0008__and->r_0087_0007__broken [conj1] 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] z_000_87_a_dick_1952_30 r_0087_0009__bent->z_000_87_a_dick_1952_30 [arg0] r_0087_0006__eyeglasses eyeglasses r_0087_0009__bent->r_0087_0006__eyeglasses [arg1] r_0087_0006__eyeglasses->r_0087_0001__Tance [gen] 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] 
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__1_1_1_1 Tance n87_a_dick_1952__1_2_1 watched n87_a_dick_1952__1_3_1_1 helplessly n87_a_dick_1952__1_4_1 , n87_a_dick_1952__1_5_1_1_1_1_1 his n87_a_dick_1952__1_5_1_1_2_1 eyeglasses n87_a_dick_1952__1_5_1_2_1_1_1 * n87_a_dick_1952__1_5_1_2_1_2_1 broken n87_a_dick_1952__1_5_1_2_2_1_1 and n87_a_dick_1952__1_5_1_2_2_2_1_1 * n87_a_dick_1952__1_5_1_2_2_2_2_1 bent n87_a_dick_1952__1_6_1 . n87_a_dick_1952__1 IP-MAT n87_a_dick_1952__1_1 NP-SBJ n87_a_dick_1952__1->n87_a_dick_1952__1_1 n87_a_dick_1952__1_2 VBD;_I_ n87_a_dick_1952__1->n87_a_dick_1952__1_2 n87_a_dick_1952__1_3 ADVP-NIM n87_a_dick_1952__1->n87_a_dick_1952__1_3 n87_a_dick_1952__1_4 PUNC n87_a_dick_1952__1->n87_a_dick_1952__1_4 n87_a_dick_1952__1_5 PP-SCON n87_a_dick_1952__1->n87_a_dick_1952__1_5 n87_a_dick_1952__1_6 PUNC n87_a_dick_1952__1->n87_a_dick_1952__1_6 n87_a_dick_1952__1_1_1 NPR n87_a_dick_1952__1_1->n87_a_dick_1952__1_1_1 n87_a_dick_1952__1_1_1->n87_a_dick_1952__1_1_1_1 n87_a_dick_1952__1_2->n87_a_dick_1952__1_2_1 n87_a_dick_1952__1_3_1 ADV n87_a_dick_1952__1_3->n87_a_dick_1952__1_3_1 n87_a_dick_1952__1_3_1->n87_a_dick_1952__1_3_1_1 n87_a_dick_1952__1_4->n87_a_dick_1952__1_4_1 n87_a_dick_1952__1_5_1 IP-PPL3 n87_a_dick_1952__1_5->n87_a_dick_1952__1_5_1 n87_a_dick_1952__1_5_1_1 NP-SBJ n87_a_dick_1952__1_5_1->n87_a_dick_1952__1_5_1_1 n87_a_dick_1952__1_5_1_2 ILYR n87_a_dick_1952__1_5_1->n87_a_dick_1952__1_5_1_2 n87_a_dick_1952__1_5_1_1_1 NP-GEN n87_a_dick_1952__1_5_1_1->n87_a_dick_1952__1_5_1_1_1 n87_a_dick_1952__1_5_1_1_2 NS n87_a_dick_1952__1_5_1_1->n87_a_dick_1952__1_5_1_1_2 n87_a_dick_1952__1_5_1_1_1_1 PRO;_genm_ n87_a_dick_1952__1_5_1_1_1->n87_a_dick_1952__1_5_1_1_1_1 n87_a_dick_1952__1_5_1_1_1_1->n87_a_dick_1952__1_5_1_1_1_1_1 n87_a_dick_1952__1_5_1_1_2->n87_a_dick_1952__1_5_1_1_2_1 n87_a_dick_1952__1_5_1_2_1 ILYR n87_a_dick_1952__1_5_1_2->n87_a_dick_1952__1_5_1_2_1 n87_a_dick_1952__1_5_1_2_2 CONJP n87_a_dick_1952__1_5_1_2->n87_a_dick_1952__1_5_1_2_2 n87_a_dick_1952__1_5_1_2_1_1 NP-LGS n87_a_dick_1952__1_5_1_2_1->n87_a_dick_1952__1_5_1_2_1_1 n87_a_dick_1952__1_5_1_2_1_2 VVN;_Tn_ n87_a_dick_1952__1_5_1_2_1->n87_a_dick_1952__1_5_1_2_1_2 n87_a_dick_1952__1_5_1_2_1_1->n87_a_dick_1952__1_5_1_2_1_1_1 n87_a_dick_1952__1_5_1_2_1_2->n87_a_dick_1952__1_5_1_2_1_2_1 n87_a_dick_1952__1_5_1_2_2_1 CONJ n87_a_dick_1952__1_5_1_2_2->n87_a_dick_1952__1_5_1_2_2_1 n87_a_dick_1952__1_5_1_2_2_2 ILYR n87_a_dick_1952__1_5_1_2_2->n87_a_dick_1952__1_5_1_2_2_2 n87_a_dick_1952__1_5_1_2_2_1->n87_a_dick_1952__1_5_1_2_2_1_1 n87_a_dick_1952__1_5_1_2_2_2_1 NP-LGS n87_a_dick_1952__1_5_1_2_2_2->n87_a_dick_1952__1_5_1_2_2_2_1 n87_a_dick_1952__1_5_1_2_2_2_2 VVN;_Tn_ n87_a_dick_1952__1_5_1_2_2_2->n87_a_dick_1952__1_5_1_2_2_2_2 n87_a_dick_1952__1_5_1_2_2_2_1->n87_a_dick_1952__1_5_1_2_2_2_1_1 n87_a_dick_1952__1_5_1_2_2_2_2->n87_a_dick_1952__1_5_1_2_2_2_2_1 n87_a_dick_1952__1_6->n87_a_dick_1952__1_6_1 
( (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))