Context                Previous, Next                Top


70_a_hardy_1883
Having quenched his thirst he rose and lifted his hand to knock, but paused with his eye upon the panel.

%3 r_0070_0001__Having Having r_0070_0002__quenched quenched r_0070_0001__Having->r_0070_0002__quenched [scope] r_0070_0004__thirst thirst r_0070_0002__quenched->r_0070_0004__thirst [arg1] r_0070_0005__he he r_0070_0002__quenched->r_0070_0005__he [arg0] r_0070_0004__thirst->r_0070_0005__he [gen] r_0070_0006__rose rose r_0070_0006__rose->r_0070_0005__he [arg0] r_0070_0007__and and r_0070_0007__and->r_0070_0006__rose [conj1] z_000_70_a_hardy_1883_36 r_0070_0007__and->z_000_70_a_hardy_1883_36 [conj2] r_0070_0008__lifted lifted z_000_70_a_hardy_1883_36->r_0070_0008__lifted [scope] r_0070_0011__to_r_0070_0012__knock to knock z_000_70_a_hardy_1883_36->r_0070_0011__to_r_0070_0012__knock [restriction] r_0070_0008__lifted->r_0070_0005__he [arg0] r_0070_0010__hand hand r_0070_0008__lifted->r_0070_0010__hand [arg1] r_0070_0010__hand->r_0070_0005__he [gen] r_0070_0011__to_r_0070_0012__knock->r_0070_0005__he [arg0] r_0070_0014__but but r_0070_0014__but->r_0070_0007__and [conj1] r_0070_0015__paused paused r_0070_0014__but->r_0070_0015__paused [conj2] r_0070_0015__paused->r_0070_0005__he [arg0] r_0070_0018__eye eye r_0070_0015__paused->r_0070_0018__eye with [nim] r_0070_0018__eye->r_0070_0005__he [gen] r_0070_0020__the_r_0070_0021__panel the panel r_0070_0018__eye->r_0070_0020__the_r_0070_0021__panel upon z_000_70_a_hardy_1883_2 z_000_70_a_hardy_1883_2->r_0070_0001__Having [restriction] z_000_70_a_hardy_1883_2->r_0070_0014__but [scope] 
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).


%3 z_000_70_a_hardy_1883_36 r_0070_0011__to_r_0070_0012__knock to knock z_000_70_a_hardy_1883_36->r_0070_0011__to_r_0070_0012__knock [conj1] r_0070_0008__lifted lifted z_000_70_a_hardy_1883_36->r_0070_0008__lifted [conj2] r_0070_0005__he he r_0070_0011__to_r_0070_0012__knock->r_0070_0005__he [arg0] r_0070_0008__lifted->r_0070_0005__he [arg0] r_0070_0010__hand hand r_0070_0008__lifted->r_0070_0010__hand [arg1] z_000_70_a_hardy_1883_2 r_0070_0014__but but z_000_70_a_hardy_1883_2->r_0070_0014__but [conj2] r_0070_0001__Having_r_0070_0002__quenched Having quenched z_000_70_a_hardy_1883_2->r_0070_0001__Having_r_0070_0002__quenched [conj1] r_0070_0015__paused paused r_0070_0014__but->r_0070_0015__paused [conj2] r_0070_0007__and and r_0070_0014__but->r_0070_0007__and [conj1] r_0070_0001__Having_r_0070_0002__quenched->r_0070_0005__he [arg0] r_0070_0004__thirst thirst r_0070_0001__Having_r_0070_0002__quenched->r_0070_0004__thirst [arg1] r_0070_0018__eye eye r_0070_0020__the_r_0070_0021__panel the panel r_0070_0018__eye->r_0070_0020__the_r_0070_0021__panel upon r_0070_0018__eye->r_0070_0005__he [gen] r_0070_0015__paused->r_0070_0018__eye with [nim] r_0070_0015__paused->r_0070_0005__he [arg0] r_0070_0007__and->z_000_70_a_hardy_1883_36 [conj2] r_0070_0006__rose rose r_0070_0007__and->r_0070_0006__rose [conj1] r_0070_0010__hand->r_0070_0005__he [gen] r_0070_0006__rose->r_0070_0005__he [arg0] r_0070_0004__thirst->r_0070_0005__he [gen] 
fof(formula,axiom,
    ? [Z_70_A_HARDY_1883_2,R_70_1_HAVING_QUENCHED,R_70_4_THIRST,R_70_14_BUT,R_70_7_AND,R_70_6_ROSE,Z_70_A_HARDY_1883_36,R_70_11_TO_KNOCK,R_70_8_LIFTED,R_70_10_HAND,R_70_15_PAUSED,R_70_18_EYE,R_70_5_HE,R_70_20_THE_PANEL] :
      ( he(R_70_5_HE)
      & the_panel(R_70_20_THE_PANEL)
      & z_70_a_hardy_1883_2(Z_70_A_HARDY_1883_2)
      & conj1(Z_70_A_HARDY_1883_2,R_70_1_HAVING_QUENCHED)
      & having_quenched(R_70_1_HAVING_QUENCHED,R_70_5_HE,R_70_4_THIRST)
      & thirst(R_70_4_THIRST)
      & gen(R_70_4_THIRST,R_70_5_HE)
      & conj2(Z_70_A_HARDY_1883_2,R_70_14_BUT)
      & but(R_70_14_BUT)
      & conj1(R_70_14_BUT,R_70_7_AND)
      & and(R_70_7_AND)
      & conj1(R_70_7_AND,R_70_6_ROSE)
      & rose(R_70_6_ROSE,R_70_5_HE)
      & conj2(R_70_7_AND,Z_70_A_HARDY_1883_36)
      & z_70_a_hardy_1883_36(Z_70_A_HARDY_1883_36)
      & conj1(Z_70_A_HARDY_1883_36,R_70_11_TO_KNOCK)
      & to_knock(R_70_11_TO_KNOCK,R_70_5_HE)
      & conj2(Z_70_A_HARDY_1883_36,R_70_8_LIFTED)
      & lifted(R_70_8_LIFTED,R_70_5_HE,R_70_10_HAND)
      & hand(R_70_10_HAND)
      & gen(R_70_10_HAND,R_70_5_HE)
      & conj2(R_70_14_BUT,R_70_15_PAUSED)
      & paused(R_70_15_PAUSED,R_70_5_HE)
      & with_nim53(R_70_15_PAUSED,R_70_18_EYE)
      & eye(R_70_18_EYE)
      & gen(R_70_18_EYE,R_70_5_HE)
      & upon(R_70_18_EYE,R_70_20_THE_PANEL) ) ).


n70_a_hardy_1883 n70_a_hardy_1883__1_1_1_1_1 Having n70_a_hardy_1883__1_1_1_2_1_1 quenched n70_a_hardy_1883__1_1_1_2_2_1_1_1 his n70_a_hardy_1883__1_1_1_2_2_2_1 thirst n70_a_hardy_1883__1_2_1_1 he n70_a_hardy_1883__1_3_1_1_1_1_1 rose n70_a_hardy_1883__1_3_1_1_2_1_1 and n70_a_hardy_1883__1_3_1_1_2_2_1_1 lifted n70_a_hardy_1883__1_3_1_1_2_2_2_1_1_1 his n70_a_hardy_1883__1_3_1_1_2_2_2_2_1 hand n70_a_hardy_1883__1_3_1_1_2_2_3_1_1_1 to n70_a_hardy_1883__1_3_1_1_2_2_3_1_2_1 knock n70_a_hardy_1883__1_3_2_1 , n70_a_hardy_1883__1_3_3_1_1 but n70_a_hardy_1883__1_3_3_2_1_1 paused n70_a_hardy_1883__1_3_3_2_2_1_1 with n70_a_hardy_1883__1_3_3_2_2_2_1_1_1 his n70_a_hardy_1883__1_3_3_2_2_2_2_1 eye n70_a_hardy_1883__1_3_3_2_2_2_3_1_1 upon n70_a_hardy_1883__1_3_3_2_2_2_3_2_1_1 the n70_a_hardy_1883__1_3_3_2_2_2_3_2_2_1 panel n70_a_hardy_1883__1_4_1 . n70_a_hardy_1883__1 IP-MAT n70_a_hardy_1883__1_1 PP-SCON n70_a_hardy_1883__1->n70_a_hardy_1883__1_1 n70_a_hardy_1883__1_2 NP-SBJ n70_a_hardy_1883__1->n70_a_hardy_1883__1_2 n70_a_hardy_1883__1_3 ILYR n70_a_hardy_1883__1->n70_a_hardy_1883__1_3 n70_a_hardy_1883__1_4 PUNC n70_a_hardy_1883__1->n70_a_hardy_1883__1_4 n70_a_hardy_1883__1_1_1 IP-PPL2 n70_a_hardy_1883__1_1->n70_a_hardy_1883__1_1_1 n70_a_hardy_1883__1_1_1_1 HAG;_cat_Ve_ n70_a_hardy_1883__1_1_1->n70_a_hardy_1883__1_1_1_1 n70_a_hardy_1883__1_1_1_2 IP-PPL-CAT n70_a_hardy_1883__1_1_1->n70_a_hardy_1883__1_1_1_2 n70_a_hardy_1883__1_1_1_1->n70_a_hardy_1883__1_1_1_1_1 n70_a_hardy_1883__1_1_1_2_1 VVN;_Tn_ n70_a_hardy_1883__1_1_1_2->n70_a_hardy_1883__1_1_1_2_1 n70_a_hardy_1883__1_1_1_2_2 NP-OB1 n70_a_hardy_1883__1_1_1_2->n70_a_hardy_1883__1_1_1_2_2 n70_a_hardy_1883__1_1_1_2_1->n70_a_hardy_1883__1_1_1_2_1_1 n70_a_hardy_1883__1_1_1_2_2_1 NP-GEN n70_a_hardy_1883__1_1_1_2_2->n70_a_hardy_1883__1_1_1_2_2_1 n70_a_hardy_1883__1_1_1_2_2_2 N n70_a_hardy_1883__1_1_1_2_2->n70_a_hardy_1883__1_1_1_2_2_2 n70_a_hardy_1883__1_1_1_2_2_1_1 PRO;_genm_ n70_a_hardy_1883__1_1_1_2_2_1->n70_a_hardy_1883__1_1_1_2_2_1_1 n70_a_hardy_1883__1_1_1_2_2_1_1->n70_a_hardy_1883__1_1_1_2_2_1_1_1 n70_a_hardy_1883__1_1_1_2_2_2->n70_a_hardy_1883__1_1_1_2_2_2_1 n70_a_hardy_1883__1_2_1 PRO n70_a_hardy_1883__1_2->n70_a_hardy_1883__1_2_1 n70_a_hardy_1883__1_2_1->n70_a_hardy_1883__1_2_1_1 n70_a_hardy_1883__1_3_1 ILYR n70_a_hardy_1883__1_3->n70_a_hardy_1883__1_3_1 n70_a_hardy_1883__1_3_2 PUNC n70_a_hardy_1883__1_3->n70_a_hardy_1883__1_3_2 n70_a_hardy_1883__1_3_3 CONJP n70_a_hardy_1883__1_3->n70_a_hardy_1883__1_3_3 n70_a_hardy_1883__1_3_1_1 ILYR n70_a_hardy_1883__1_3_1->n70_a_hardy_1883__1_3_1_1 n70_a_hardy_1883__1_3_1_1_1 ILYR n70_a_hardy_1883__1_3_1_1->n70_a_hardy_1883__1_3_1_1_1 n70_a_hardy_1883__1_3_1_1_2 CONJP n70_a_hardy_1883__1_3_1_1->n70_a_hardy_1883__1_3_1_1_2 n70_a_hardy_1883__1_3_1_1_1_1 VBD;_I_ n70_a_hardy_1883__1_3_1_1_1->n70_a_hardy_1883__1_3_1_1_1_1 n70_a_hardy_1883__1_3_1_1_1_1->n70_a_hardy_1883__1_3_1_1_1_1_1 n70_a_hardy_1883__1_3_1_1_2_1 CONJ n70_a_hardy_1883__1_3_1_1_2->n70_a_hardy_1883__1_3_1_1_2_1 n70_a_hardy_1883__1_3_1_1_2_2 ILYR n70_a_hardy_1883__1_3_1_1_2->n70_a_hardy_1883__1_3_1_1_2_2 n70_a_hardy_1883__1_3_1_1_2_1->n70_a_hardy_1883__1_3_1_1_2_1_1 n70_a_hardy_1883__1_3_1_1_2_2_1 VBD;_Tn_ n70_a_hardy_1883__1_3_1_1_2_2->n70_a_hardy_1883__1_3_1_1_2_2_1 n70_a_hardy_1883__1_3_1_1_2_2_2 NP-OB1 n70_a_hardy_1883__1_3_1_1_2_2->n70_a_hardy_1883__1_3_1_1_2_2_2 n70_a_hardy_1883__1_3_1_1_2_2_3 PP-SCON n70_a_hardy_1883__1_3_1_1_2_2->n70_a_hardy_1883__1_3_1_1_2_2_3 n70_a_hardy_1883__1_3_1_1_2_2_1->n70_a_hardy_1883__1_3_1_1_2_2_1_1 n70_a_hardy_1883__1_3_1_1_2_2_2_1 NP-GEN n70_a_hardy_1883__1_3_1_1_2_2_2->n70_a_hardy_1883__1_3_1_1_2_2_2_1 n70_a_hardy_1883__1_3_1_1_2_2_2_2 N n70_a_hardy_1883__1_3_1_1_2_2_2->n70_a_hardy_1883__1_3_1_1_2_2_2_2 n70_a_hardy_1883__1_3_1_1_2_2_2_1_1 PRO;_genm_ n70_a_hardy_1883__1_3_1_1_2_2_2_1->n70_a_hardy_1883__1_3_1_1_2_2_2_1_1 n70_a_hardy_1883__1_3_1_1_2_2_2_1_1->n70_a_hardy_1883__1_3_1_1_2_2_2_1_1_1 n70_a_hardy_1883__1_3_1_1_2_2_2_2->n70_a_hardy_1883__1_3_1_1_2_2_2_2_1 n70_a_hardy_1883__1_3_1_1_2_2_3_1 IP-INF2 n70_a_hardy_1883__1_3_1_1_2_2_3->n70_a_hardy_1883__1_3_1_1_2_2_3_1 n70_a_hardy_1883__1_3_1_1_2_2_3_1_1 TO n70_a_hardy_1883__1_3_1_1_2_2_3_1->n70_a_hardy_1883__1_3_1_1_2_2_3_1_1 n70_a_hardy_1883__1_3_1_1_2_2_3_1_2 VB;_I_ n70_a_hardy_1883__1_3_1_1_2_2_3_1->n70_a_hardy_1883__1_3_1_1_2_2_3_1_2 n70_a_hardy_1883__1_3_1_1_2_2_3_1_1->n70_a_hardy_1883__1_3_1_1_2_2_3_1_1_1 n70_a_hardy_1883__1_3_1_1_2_2_3_1_2->n70_a_hardy_1883__1_3_1_1_2_2_3_1_2_1 n70_a_hardy_1883__1_3_2->n70_a_hardy_1883__1_3_2_1 n70_a_hardy_1883__1_3_3_1 CONJ n70_a_hardy_1883__1_3_3->n70_a_hardy_1883__1_3_3_1 n70_a_hardy_1883__1_3_3_2 ILYR n70_a_hardy_1883__1_3_3->n70_a_hardy_1883__1_3_3_2 n70_a_hardy_1883__1_3_3_1->n70_a_hardy_1883__1_3_3_1_1 n70_a_hardy_1883__1_3_3_2_1 VBD;_I_ n70_a_hardy_1883__1_3_3_2->n70_a_hardy_1883__1_3_3_2_1 n70_a_hardy_1883__1_3_3_2_2 PP-NIM n70_a_hardy_1883__1_3_3_2->n70_a_hardy_1883__1_3_3_2_2 n70_a_hardy_1883__1_3_3_2_1->n70_a_hardy_1883__1_3_3_2_1_1 n70_a_hardy_1883__1_3_3_2_2_1 P-ROLE n70_a_hardy_1883__1_3_3_2_2->n70_a_hardy_1883__1_3_3_2_2_1 n70_a_hardy_1883__1_3_3_2_2_2 NP n70_a_hardy_1883__1_3_3_2_2->n70_a_hardy_1883__1_3_3_2_2_2 n70_a_hardy_1883__1_3_3_2_2_1->n70_a_hardy_1883__1_3_3_2_2_1_1 n70_a_hardy_1883__1_3_3_2_2_2_1 NP-GEN n70_a_hardy_1883__1_3_3_2_2_2->n70_a_hardy_1883__1_3_3_2_2_2_1 n70_a_hardy_1883__1_3_3_2_2_2_2 N n70_a_hardy_1883__1_3_3_2_2_2->n70_a_hardy_1883__1_3_3_2_2_2_2 n70_a_hardy_1883__1_3_3_2_2_2_3 PP n70_a_hardy_1883__1_3_3_2_2_2->n70_a_hardy_1883__1_3_3_2_2_2_3 n70_a_hardy_1883__1_3_3_2_2_2_1_1 PRO;_genm_ n70_a_hardy_1883__1_3_3_2_2_2_1->n70_a_hardy_1883__1_3_3_2_2_2_1_1 n70_a_hardy_1883__1_3_3_2_2_2_1_1->n70_a_hardy_1883__1_3_3_2_2_2_1_1_1 n70_a_hardy_1883__1_3_3_2_2_2_2->n70_a_hardy_1883__1_3_3_2_2_2_2_1 n70_a_hardy_1883__1_3_3_2_2_2_3_1 P-ROLE n70_a_hardy_1883__1_3_3_2_2_2_3->n70_a_hardy_1883__1_3_3_2_2_2_3_1 n70_a_hardy_1883__1_3_3_2_2_2_3_2 NP n70_a_hardy_1883__1_3_3_2_2_2_3->n70_a_hardy_1883__1_3_3_2_2_2_3_2 n70_a_hardy_1883__1_3_3_2_2_2_3_1->n70_a_hardy_1883__1_3_3_2_2_2_3_1_1 n70_a_hardy_1883__1_3_3_2_2_2_3_2_1 D n70_a_hardy_1883__1_3_3_2_2_2_3_2->n70_a_hardy_1883__1_3_3_2_2_2_3_2_1 n70_a_hardy_1883__1_3_3_2_2_2_3_2_2 N n70_a_hardy_1883__1_3_3_2_2_2_3_2->n70_a_hardy_1883__1_3_3_2_2_2_3_2_2 n70_a_hardy_1883__1_3_3_2_2_2_3_2_1->n70_a_hardy_1883__1_3_3_2_2_2_3_2_1_1 n70_a_hardy_1883__1_3_3_2_2_2_3_2_2->n70_a_hardy_1883__1_3_3_2_2_2_3_2_2_1 n70_a_hardy_1883__1_4->n70_a_hardy_1883__1_4_1 
( (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))