67_a_hardy_1883
At last the notes of the serpent ceased and the house was silent.
arc(r_0067_0002__the_r_0067_0003__notes, r_0067_0005__the_r_0067_0006__serpent, r_0067_0004__of).
arc(r_0067_0007__ceased, r_0067_0001__At_last, nim4).
arc(r_0067_0007__ceased, r_0067_0002__the_r_0067_0003__notes, arg0).
arc(r_0067_0008__and, r_0067_0007__ceased, conj1).
arc(r_0067_0008__and, r_0067_0011__was, conj2).
arc(r_0067_0011__was, r_0067_0009__the_r_0067_0010__house, arg0).
arc(r_0067_0011__was, r_0067_0012__silent, prd).
fof(formula,axiom,
? [R_67_8_AND,R_67_7_CEASED,R_67_2_THE_NOTES,R_67_5_THE_SERPENT,R_67_1_AT_LAST,R_67_11_WAS,R_67_9_THE_HOUSE,R_67_12_SILENT] :
( the_serpent(R_67_5_THE_SERPENT)
& at_last(R_67_1_AT_LAST)
& the_house(R_67_9_THE_HOUSE)
& silent(R_67_12_SILENT)
& and(R_67_8_AND)
& conj1(R_67_8_AND,R_67_7_CEASED)
& ceased(R_67_7_CEASED,R_67_2_THE_NOTES)
& the_notes(R_67_2_THE_NOTES)
& of(R_67_2_THE_NOTES,R_67_5_THE_SERPENT)
& nim4(R_67_7_CEASED,R_67_1_AT_LAST)
& conj2(R_67_8_AND,R_67_11_WAS)
& was(R_67_11_WAS,R_67_9_THE_HOUSE,R_67_12_SILENT) ) ).
( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV At_last;{at_last}))
(NP-SBJ (D the;{the})
(NS notes;{note})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N serpent;{serpent}))))
(VBD;__ ceased;{cease}))
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (D the;{the})
(N house;{house}))
(BED;_La_ was;{be})
(ADJP-PRD (ADJ silent;{silent})))))
(PUNC .))
(ID 67_a_hardy_1883))