69_a_hardy_1883
Having quenched his thirst he rose and lifted his hand to knock, but paused with his eye upon the panel.
( (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 69_a_hardy_1883))
arc(r_0069_0001__Having,r_0069_0002__quenched,scope).
arc(r_0069_0002__quenched,r_0069_0004__thirst,arg1).
arc(r_0069_0002__quenched,r_0069_0005__he,arg0).
arc(r_0069_0004__thirst,r_0069_0005__he,gen).
arc(r_0069_0006__rose,r_0069_0005__he,arg0).
arc(r_0069_0007__and,r_0069_0006__rose,conj1).
arc(r_0069_0007__and,z_0069_5012,conj2).
arc(r_0069_0008__lifted,r_0069_0005__he,arg0).
arc(r_0069_0008__lifted,r_0069_0010__hand,arg1).
arc(r_0069_0010__hand,r_0069_0005__he,gen).
arc(r_0069_0012__knock,r_0069_0005__he,arg0).
arc(r_0069_0014__but,r_0069_0007__and,conj1).
arc(r_0069_0014__but,r_0069_0015__paused,conj2).
arc(r_0069_0015__paused,r_0069_0005__he,arg0).
arc(r_0069_0015__paused,r_0069_0018__eye,r_0069_0016__with__nim).
arc(r_0069_0018__eye,r_0069_0005__he,gen).
arc(r_0069_0018__eye,r_0069_0020__the_r_0069_0021__panel,r_0069_0019__upon).
arc(z_0069_5002,r_0069_0001__Having,restriction).
arc(z_0069_5002,r_0069_0014__but,scope).
arc(z_0069_5012,r_0069_0008__lifted,scope).
arc(z_0069_5012,r_0069_0012__knock,restriction).
fof(formula,axiom,
? [R_0069_0005__HE,R_0069_0004__THIRST,R_0069_0001__HAVING_R_0069_0002__QUENCHED,R_0069_0006__ROSE,R_0069_0010__HAND,R_0069_0008__LIFTED,R_0069_0012__KNOCK,Z_0069_5012,R_0069_0007__AND,R_0069_0020__THE_R_0069_0021__PANEL,R_0069_0018__EYE,R_0069_0015__PAUSED,R_0069_0014__BUT,Z_0069_5002] :
( r_0069_0005__he(R_0069_0005__HE)
& r_0069_0020__the_r_0069_0021__panel(R_0069_0020__THE_R_0069_0021__PANEL)
& z_0069_5002(Z_0069_5002)
& has_conj2(Z_0069_5002,R_0069_0014__BUT)
& r_0069_0014__but(R_0069_0014__BUT)
& has_conj2(R_0069_0014__BUT,R_0069_0015__PAUSED)
& r_0069_0015__paused(R_0069_0015__PAUSED)
& has_r_0069_0016__with__nim(R_0069_0015__PAUSED,R_0069_0018__EYE)
& r_0069_0018__eye(R_0069_0018__EYE)
& has_r_0069_0019__upon(R_0069_0018__EYE,R_0069_0020__THE_R_0069_0021__PANEL)
& has_gen(R_0069_0018__EYE,R_0069_0005__HE)
& has_arg0(R_0069_0015__PAUSED,R_0069_0005__HE)
& has_conj1(R_0069_0014__BUT,R_0069_0007__AND)
& r_0069_0007__and(R_0069_0007__AND)
& has_conj2(R_0069_0007__AND,Z_0069_5012)
& z_0069_5012(Z_0069_5012)
& has_conj1(Z_0069_5012,R_0069_0012__KNOCK)
& r_0069_0012__knock(R_0069_0012__KNOCK)
& has_arg0(R_0069_0012__KNOCK,R_0069_0005__HE)
& has_conj2(Z_0069_5012,R_0069_0008__LIFTED)
& r_0069_0008__lifted(R_0069_0008__LIFTED)
& has_arg1(R_0069_0008__LIFTED,R_0069_0010__HAND)
& r_0069_0010__hand(R_0069_0010__HAND)
& has_gen(R_0069_0010__HAND,R_0069_0005__HE)
& has_arg0(R_0069_0008__LIFTED,R_0069_0005__HE)
& has_conj1(R_0069_0007__AND,R_0069_0006__ROSE)
& r_0069_0006__rose(R_0069_0006__ROSE)
& has_arg0(R_0069_0006__ROSE,R_0069_0005__HE)
& has_conj1(Z_0069_5002,R_0069_0001__HAVING_R_0069_0002__QUENCHED)
& r_0069_0001__Having_r_0069_0002__quenched(R_0069_0001__HAVING_R_0069_0002__QUENCHED)
& has_arg0(R_0069_0001__HAVING_R_0069_0002__QUENCHED,R_0069_0005__HE)
& has_arg1(R_0069_0001__HAVING_R_0069_0002__QUENCHED,R_0069_0004__THIRST)
& r_0069_0004__thirst(R_0069_0004__THIRST)
& has_gen(R_0069_0004__THIRST,R_0069_0005__HE) ) ).