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 r_0070_0001__Having_r_0070_0002__quenched Having quenched r_0070_0004__thirst thirst r_0070_0001__Having_r_0070_0002__quenched->r_0070_0004__thirst [arg1] r_0070_0005__he he r_0070_0001__Having_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 [conj2] 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->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_r_0070_0002__quenched [conj1] z_000_70_a_hardy_1883_2->r_0070_0014__but [conj2] 
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_5 Having n70_a_hardy_1883_8 quenched n70_a_hardy_1883_12 his n70_a_hardy_1883_14 thirst n70_a_hardy_1883_17 he n70_a_hardy_1883_23 rose n70_a_hardy_1883_26 and n70_a_hardy_1883_29 lifted n70_a_hardy_1883_33 his n70_a_hardy_1883_35 hand n70_a_hardy_1883_39 to n70_a_hardy_1883_41 knock n70_a_hardy_1883_43 , n70_a_hardy_1883_46 but n70_a_hardy_1883_49 paused n70_a_hardy_1883_52 with n70_a_hardy_1883_56 his n70_a_hardy_1883_58 eye n70_a_hardy_1883_61 upon n70_a_hardy_1883_64 the n70_a_hardy_1883_66 panel n70_a_hardy_1883_68 . n70_a_hardy_1883_1 IP-MAT n70_a_hardy_1883_2 PP-SCON n70_a_hardy_1883_1->n70_a_hardy_1883_2 n70_a_hardy_1883_15 NP-SBJ n70_a_hardy_1883_1->n70_a_hardy_1883_15 n70_a_hardy_1883_18 ILYR n70_a_hardy_1883_1->n70_a_hardy_1883_18 n70_a_hardy_1883_67 PUNC n70_a_hardy_1883_1->n70_a_hardy_1883_67 n70_a_hardy_1883_3 IP-PPL2 n70_a_hardy_1883_2->n70_a_hardy_1883_3 n70_a_hardy_1883_4 HAG;_cat_Ve_ n70_a_hardy_1883_3->n70_a_hardy_1883_4 n70_a_hardy_1883_6 IP-PPL-CAT n70_a_hardy_1883_3->n70_a_hardy_1883_6 n70_a_hardy_1883_4->n70_a_hardy_1883_5 n70_a_hardy_1883_7 VVN;_Tn_ n70_a_hardy_1883_6->n70_a_hardy_1883_7 n70_a_hardy_1883_9 NP-OB1 n70_a_hardy_1883_6->n70_a_hardy_1883_9 n70_a_hardy_1883_7->n70_a_hardy_1883_8 n70_a_hardy_1883_10 NP-GEN n70_a_hardy_1883_9->n70_a_hardy_1883_10 n70_a_hardy_1883_13 N n70_a_hardy_1883_9->n70_a_hardy_1883_13 n70_a_hardy_1883_11 PRO;_genm_ n70_a_hardy_1883_10->n70_a_hardy_1883_11 n70_a_hardy_1883_11->n70_a_hardy_1883_12 n70_a_hardy_1883_13->n70_a_hardy_1883_14 n70_a_hardy_1883_16 PRO n70_a_hardy_1883_15->n70_a_hardy_1883_16 n70_a_hardy_1883_16->n70_a_hardy_1883_17 n70_a_hardy_1883_19 ILYR n70_a_hardy_1883_18->n70_a_hardy_1883_19 n70_a_hardy_1883_42 PUNC n70_a_hardy_1883_18->n70_a_hardy_1883_42 n70_a_hardy_1883_44 CONJP n70_a_hardy_1883_18->n70_a_hardy_1883_44 n70_a_hardy_1883_20 ILYR n70_a_hardy_1883_19->n70_a_hardy_1883_20 n70_a_hardy_1883_21 ILYR n70_a_hardy_1883_20->n70_a_hardy_1883_21 n70_a_hardy_1883_24 CONJP n70_a_hardy_1883_20->n70_a_hardy_1883_24 n70_a_hardy_1883_22 VBD;_I_ n70_a_hardy_1883_21->n70_a_hardy_1883_22 n70_a_hardy_1883_22->n70_a_hardy_1883_23 n70_a_hardy_1883_25 CONJ n70_a_hardy_1883_24->n70_a_hardy_1883_25 n70_a_hardy_1883_27 ILYR n70_a_hardy_1883_24->n70_a_hardy_1883_27 n70_a_hardy_1883_25->n70_a_hardy_1883_26 n70_a_hardy_1883_28 VBD;_Tn_ n70_a_hardy_1883_27->n70_a_hardy_1883_28 n70_a_hardy_1883_30 NP-OB1 n70_a_hardy_1883_27->n70_a_hardy_1883_30 n70_a_hardy_1883_36 PP-SCON n70_a_hardy_1883_27->n70_a_hardy_1883_36 n70_a_hardy_1883_28->n70_a_hardy_1883_29 n70_a_hardy_1883_31 NP-GEN n70_a_hardy_1883_30->n70_a_hardy_1883_31 n70_a_hardy_1883_34 N n70_a_hardy_1883_30->n70_a_hardy_1883_34 n70_a_hardy_1883_32 PRO;_genm_ n70_a_hardy_1883_31->n70_a_hardy_1883_32 n70_a_hardy_1883_32->n70_a_hardy_1883_33 n70_a_hardy_1883_34->n70_a_hardy_1883_35 n70_a_hardy_1883_37 IP-INF2 n70_a_hardy_1883_36->n70_a_hardy_1883_37 n70_a_hardy_1883_38 TO n70_a_hardy_1883_37->n70_a_hardy_1883_38 n70_a_hardy_1883_40 VB;_I_ n70_a_hardy_1883_37->n70_a_hardy_1883_40 n70_a_hardy_1883_38->n70_a_hardy_1883_39 n70_a_hardy_1883_40->n70_a_hardy_1883_41 n70_a_hardy_1883_42->n70_a_hardy_1883_43 n70_a_hardy_1883_45 CONJ n70_a_hardy_1883_44->n70_a_hardy_1883_45 n70_a_hardy_1883_47 ILYR n70_a_hardy_1883_44->n70_a_hardy_1883_47 n70_a_hardy_1883_45->n70_a_hardy_1883_46 n70_a_hardy_1883_48 VBD;_I_ n70_a_hardy_1883_47->n70_a_hardy_1883_48 n70_a_hardy_1883_50 PP-NIM n70_a_hardy_1883_47->n70_a_hardy_1883_50 n70_a_hardy_1883_48->n70_a_hardy_1883_49 n70_a_hardy_1883_51 P-ROLE n70_a_hardy_1883_50->n70_a_hardy_1883_51 n70_a_hardy_1883_53 NP n70_a_hardy_1883_50->n70_a_hardy_1883_53 n70_a_hardy_1883_51->n70_a_hardy_1883_52 n70_a_hardy_1883_54 NP-GEN n70_a_hardy_1883_53->n70_a_hardy_1883_54 n70_a_hardy_1883_57 N n70_a_hardy_1883_53->n70_a_hardy_1883_57 n70_a_hardy_1883_59 PP n70_a_hardy_1883_53->n70_a_hardy_1883_59 n70_a_hardy_1883_55 PRO;_genm_ n70_a_hardy_1883_54->n70_a_hardy_1883_55 n70_a_hardy_1883_55->n70_a_hardy_1883_56 n70_a_hardy_1883_57->n70_a_hardy_1883_58 n70_a_hardy_1883_60 P-ROLE n70_a_hardy_1883_59->n70_a_hardy_1883_60 n70_a_hardy_1883_62 NP n70_a_hardy_1883_59->n70_a_hardy_1883_62 n70_a_hardy_1883_60->n70_a_hardy_1883_61 n70_a_hardy_1883_63 D n70_a_hardy_1883_62->n70_a_hardy_1883_63 n70_a_hardy_1883_65 N n70_a_hardy_1883_62->n70_a_hardy_1883_65 n70_a_hardy_1883_63->n70_a_hardy_1883_64 n70_a_hardy_1883_65->n70_a_hardy_1883_66 n70_a_hardy_1883_67->n70_a_hardy_1883_68 
( (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))