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,
? [Z_76_A_HARDY_1883_2,R_76_11_SEEMED_TO_CLINCH,R_76_1_THE_ABSENCE,R_76_5_NOTES,R_76_7_LIFE,R_76_9_THAT_DIRECTION,R_76_15_INTENTIONS,R_76_14_HIS,R_76_17_AND_KNOCKED,R_76_18_HE,R_76_21_THE_DOOR] :
( life(R_76_7_LIFE)
& that_direction(R_76_9_THAT_DIRECTION)
& his(R_76_14_HIS)
& he(R_76_18_HE)
& the_door(R_76_21_THE_DOOR)
& ( true
=> true )
& z_76_a_hardy_1883_2(Z_76_A_HARDY_1883_2)
& conj1(Z_76_A_HARDY_1883_2,R_76_11_SEEMED_TO_CLINCH)
& seemed_to_clinch(R_76_11_SEEMED_TO_CLINCH,R_76_1_THE_ABSENCE,R_76_15_INTENTIONS)
& the_absence(R_76_1_THE_ABSENCE)
& of(R_76_1_THE_ABSENCE,R_76_5_NOTES)
& notes(R_76_5_NOTES)
& of(R_76_5_NOTES,R_76_7_LIFE)
& in(R_76_1_THE_ABSENCE,R_76_9_THAT_DIRECTION)
& intentions(R_76_15_INTENTIONS)
& gen(R_76_15_INTENTIONS,R_76_14_HIS)
& conj2(Z_76_A_HARDY_1883_2,R_76_17_AND_KNOCKED)
& and_knocked(R_76_17_AND_KNOCKED,R_76_18_HE)
& at_clr58(R_76_17_AND_KNOCKED,R_76_21_THE_DOOR) ) ).
( (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))