arc(r_0070_0001__Having, r_0070_0002__quenched, scope).
arc(r_0070_0002__quenched, r_0070_0004__thirst, arg1).
arc(r_0070_0002__quenched, r_0070_0005__he, arg0).
arc(r_0070_0004__thirst, r_0070_0005__he, gen).
arc(r_0070_0006__rose, r_0070_0005__he, arg0).
arc(r_0070_0007__and, r_0070_0006__rose, conj1).
arc(r_0070_0007__and, z_000_70_a_hardy_1883_36, conj2).
arc(r_0070_0008__lifted, r_0070_0005__he, arg0).
arc(r_0070_0008__lifted, r_0070_0010__hand, arg1).
arc(r_0070_0010__hand, r_0070_0005__he, gen).
arc(r_0070_0011__to_r_0070_0012__knock, r_0070_0005__he, arg0).
arc(r_0070_0014__but, r_0070_0007__and, conj1).
arc(r_0070_0014__but, r_0070_0015__paused, conj2).
arc(r_0070_0015__paused, r_0070_0005__he, arg0).
arc(r_0070_0015__paused, r_0070_0018__eye, r_0070_0016__with_nim53).
arc(r_0070_0018__eye, r_0070_0005__he, gen).
arc(r_0070_0018__eye, r_0070_0020__the_r_0070_0021__panel, r_0070_0019__upon).
arc(z_000_70_a_hardy_1883_2, r_0070_0001__Having, restriction).
arc(z_000_70_a_hardy_1883_2, r_0070_0014__but, scope).
arc(z_000_70_a_hardy_1883_36, r_0070_0008__lifted, scope).
arc(z_000_70_a_hardy_1883_36, r_0070_0011__to_r_0070_0012__knock, restriction).

fof(formula,axiom,
    ? [R_0070_0005__HE,R_0070_0004__THIRST,R_0070_0001__HAVING_R_0070_0002__QUENCHED,R_0070_0006__ROSE,R_0070_0010__HAND,R_0070_0008__LIFTED,R_0070_0011__TO_R_0070_0012__KNOCK,Z_000_70_A_HARDY_1883_36,R_0070_0007__AND,R_0070_0020__THE_R_0070_0021__PANEL,R_0070_0018__EYE,R_0070_0015__PAUSED,R_0070_0014__BUT,Z_000_70_A_HARDY_1883_2] :
      ( r_0070_0005__he(R_0070_0005__HE)
      & r_0070_0020__the_r_0070_0021__panel(R_0070_0020__THE_R_0070_0021__PANEL)
      & z_000_70_a_hardy_1883_2(Z_000_70_A_HARDY_1883_2)
      & has_conj2(Z_000_70_A_HARDY_1883_2,R_0070_0014__BUT)
      & r_0070_0014__but(R_0070_0014__BUT)
      & has_conj2(R_0070_0014__BUT,R_0070_0015__PAUSED)
      & r_0070_0015__paused(R_0070_0015__PAUSED)
      & has_r_0070_0016__with_nim53(R_0070_0015__PAUSED,R_0070_0018__EYE)
      & r_0070_0018__eye(R_0070_0018__EYE)
      & has_r_0070_0019__upon(R_0070_0018__EYE,R_0070_0020__THE_R_0070_0021__PANEL)
      & has_gen(R_0070_0018__EYE,R_0070_0005__HE)
      & has_arg0(R_0070_0015__PAUSED,R_0070_0005__HE)
      & has_conj1(R_0070_0014__BUT,R_0070_0007__AND)
      & r_0070_0007__and(R_0070_0007__AND)
      & has_conj2(R_0070_0007__AND,Z_000_70_A_HARDY_1883_36)
      & z_000_70_a_hardy_1883_36(Z_000_70_A_HARDY_1883_36)
      & has_conj1(Z_000_70_A_HARDY_1883_36,R_0070_0011__TO_R_0070_0012__KNOCK)
      & r_0070_0011__to_r_0070_0012__knock(R_0070_0011__TO_R_0070_0012__KNOCK)
      & has_arg0(R_0070_0011__TO_R_0070_0012__KNOCK,R_0070_0005__HE)
      & has_conj2(Z_000_70_A_HARDY_1883_36,R_0070_0008__LIFTED)
      & r_0070_0008__lifted(R_0070_0008__LIFTED)
      & has_arg1(R_0070_0008__LIFTED,R_0070_0010__HAND)
      & r_0070_0010__hand(R_0070_0010__HAND)
      & has_gen(R_0070_0010__HAND,R_0070_0005__HE)
      & has_arg0(R_0070_0008__LIFTED,R_0070_0005__HE)
      & has_conj1(R_0070_0007__AND,R_0070_0006__ROSE)
      & r_0070_0006__rose(R_0070_0006__ROSE)
      & has_arg0(R_0070_0006__ROSE,R_0070_0005__HE)
      & has_conj1(Z_000_70_A_HARDY_1883_2,R_0070_0001__HAVING_R_0070_0002__QUENCHED)
      & r_0070_0001__Having_r_0070_0002__quenched(R_0070_0001__HAVING_R_0070_0002__QUENCHED)
      & has_arg0(R_0070_0001__HAVING_R_0070_0002__QUENCHED,R_0070_0005__HE)
      & has_arg1(R_0070_0001__HAVING_R_0070_0002__QUENCHED,R_0070_0004__THIRST)
      & r_0070_0004__thirst(R_0070_0004__THIRST)
      & has_gen(R_0070_0004__THIRST,R_0070_0005__HE) ) ).

( (IP-MAT (PP-SCON (IP-PPL2 (HAG;_cat_Ve_ Having;{have})
                            (IP-PPL-CAT (VVN;_Tn_ quenched;{quench})
                                        (NP-OB1 (NP-GEN;{PEDESTRIAN} (PRO;_genm_ his;{his}))
                                                (N thirst;{thirst})))))
          (NP-SBJ;{PEDESTRIAN} (PRO he;{he}))
          (ILYR (ILYR (ILYR (ILYR (VBD;_I_ rose;{rise}))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VBD;_Tn_ lifted;{lift})
                                         (NP-OB1 (NP-GEN;{PEDESTRIAN} (PRO;_genm_ his;{his}))
                                                 (N hand;{hand}))
                                         (PP-SCON (IP-INF2 (TO to;{to})
                                                           (VB;_I_ knock;{knock})))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (VBD;_I_ paused;{pause})
                             (PP-NIM (P-ROLE with;{with})
                                     (NP (NP-GEN;{PEDESTRIAN} (PRO;_genm_ his;{his}))
                                         (N eye;{eye})
                                         (PP (P-ROLE upon;{upon})
                                             (NP (D the;{the})
                                                 (N panel;{panel}))))))))
          (PUNC .))
  (ID 70_a_hardy_1883))