76_a_hardy_1883
The absence of all notes of life in that direction seemed to clinch his intentions, and he knocked at the door.
arc(r_0076_0001__The_r_0076_0002__absence, r_0076_0005__notes, r_0076_0003__of).
arc(r_0076_0001__The_r_0076_0002__absence, r_0076_0009__that_r_0076_0010__direction, r_0076_0008__in).
arc(r_0076_0004__all_quant, r_0076_0001__The_r_0076_0002__absence, scope).
arc(r_0076_0004__all_quant, r_0076_0005__notes, restriction).
arc(r_0076_0005__notes, r_0076_0007__life, r_0076_0006__of).
arc(r_0076_0011__seemed, r_0076_0012__to_r_0076_0013__clinch, scope).
arc(r_0076_0012__to_r_0076_0013__clinch, r_0076_0001__The_r_0076_0002__absence, arg0).
arc(r_0076_0012__to_r_0076_0013__clinch, r_0076_0015__intentions, arg1).
arc(r_0076_0015__intentions, r_0076_0014__his, gen).
arc(r_0076_0017__and_r_0076_0019__knocked, r_0076_0018__he, arg0).
arc(r_0076_0017__and_r_0076_0019__knocked, r_0076_0021__the_r_0076_0022__door, r_0076_0020__at_clr58).
arc(z_000_76_a_hardy_1883_2, r_0076_0011__seemed, conj1).
arc(z_000_76_a_hardy_1883_2, r_0076_0017__and_r_0076_0019__knocked, conj2).
fof(formula,axiom,
? [R_0076_0007__LIFE,R_0076_0005__NOTES,R_0076_0009__THAT_R_0076_0010__DIRECTION,R_0076_0001__THE_R_0076_0002__ABSENCE,R_0076_0014__HIS,R_0076_0015__INTENTIONS,R_0076_0011__SEEMED_R_0076_0012__TO_R_0076_0013__CLINCH,R_0076_0018__HE,R_0076_0021__THE_R_0076_0022__DOOR,R_0076_0017__AND_R_0076_0019__KNOCKED,Z_000_76_A_HARDY_1883_2] :
( r_0076_0007__life(R_0076_0007__LIFE)
& r_0076_0009__that_r_0076_0010__direction(R_0076_0009__THAT_R_0076_0010__DIRECTION)
& r_0076_0014__his(R_0076_0014__HIS)
& r_0076_0018__he(R_0076_0018__HE)
& r_0076_0021__the_r_0076_0022__door(R_0076_0021__THE_R_0076_0022__DOOR)
& z_000_76_a_hardy_1883_2(Z_000_76_A_HARDY_1883_2)
& has_conj2(Z_000_76_A_HARDY_1883_2,R_0076_0017__AND_R_0076_0019__KNOCKED)
& r_0076_0017__and_r_0076_0019__knocked(R_0076_0017__AND_R_0076_0019__KNOCKED)
& has_r_0076_0020__at_clr58(R_0076_0017__AND_R_0076_0019__KNOCKED,R_0076_0021__THE_R_0076_0022__DOOR)
& has_arg0(R_0076_0017__AND_R_0076_0019__KNOCKED,R_0076_0018__HE)
& has_conj1(Z_000_76_A_HARDY_1883_2,R_0076_0011__SEEMED_R_0076_0012__TO_R_0076_0013__CLINCH)
& r_0076_0011__seemed_r_0076_0012__to_r_0076_0013__clinch(R_0076_0011__SEEMED_R_0076_0012__TO_R_0076_0013__CLINCH)
& has_arg1(R_0076_0011__SEEMED_R_0076_0012__TO_R_0076_0013__CLINCH,R_0076_0015__INTENTIONS)
& r_0076_0015__intentions(R_0076_0015__INTENTIONS)
& has_gen(R_0076_0015__INTENTIONS,R_0076_0014__HIS)
& has_arg0(R_0076_0011__SEEMED_R_0076_0012__TO_R_0076_0013__CLINCH,R_0076_0001__THE_R_0076_0002__ABSENCE)
& r_0076_0001__The_r_0076_0002__absence(R_0076_0001__THE_R_0076_0002__ABSENCE)
& has_r_0076_0008__in(R_0076_0001__THE_R_0076_0002__ABSENCE,R_0076_0009__THAT_R_0076_0010__DIRECTION)
& has_r_0076_0003__of(R_0076_0001__THE_R_0076_0002__ABSENCE,R_0076_0005__NOTES)
& ~ has_r_0076_0006__of(R_0076_0005__NOTES,R_0076_0007__LIFE)
& ( r_0076_0005__notes(R_0076_0005__NOTES)
=> r_0076_0011__seemed_r_0076_0012__to_r_0076_0013__clinch(R_0076_0011__SEEMED_R_0076_0012__TO_R_0076_0013__CLINCH) ) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
(N absence;{absence})
(PP (P-ROLE of;{of})
(NP (Q all;{all})
(NS notes;{note})
(PP (P-ROLE of;{of})
(NP (N life;{life})))))
(PP (P-ROLE in;{in})
(NP (D that;{that})
(N direction;{direction}))))
(VBD;_cat_Vt_ seemed;{seem})
(IP-INF-CAT (TO to;{to})
(VB;__ clinch;{clinch})
(NP-OB1 (NP-GEN;{PEDESTRIAN} (PRO;_genm_ his;{his}))
(NS intentions;{intention}))))
(PUNC ,)
(CONJP (ILYR (CONJ;_cl_ and;{and})
(NP-SBJ;{PEDESTRIAN} (PRO he;{he}))
(VBD;__ knocked;{knock})
(PP-CLR (P-ROLE at;{at})
(NP (D the;{the})
(N door;{door}))))))
(PUNC .))
(ID 76_a_hardy_1883))