Context                Previous, Next                Top


66_a_hardy_1883
At last the notes of the serpent ceased and the house was silent.

n66_a_hardy_1883 n66_a_hardy_1883__1_1_1_1_1_1 At_last n66_a_hardy_1883__1_1_1_2_1_1 the n66_a_hardy_1883__1_1_1_2_2_1 notes n66_a_hardy_1883__1_1_1_2_3_1_1 of n66_a_hardy_1883__1_1_1_2_3_2_1_1 the n66_a_hardy_1883__1_1_1_2_3_2_2_1 serpent n66_a_hardy_1883__1_1_1_3_1 ceased n66_a_hardy_1883__1_1_2_1_1 and n66_a_hardy_1883__1_1_2_2_1_1_1 the n66_a_hardy_1883__1_1_2_2_1_2_1 house n66_a_hardy_1883__1_1_2_2_2_1 was n66_a_hardy_1883__1_1_2_2_3_1_1 silent n66_a_hardy_1883__1_2_1 . n66_a_hardy_1883__1 IP-MAT n66_a_hardy_1883__1_1 ILYR n66_a_hardy_1883__1->n66_a_hardy_1883__1_1 n66_a_hardy_1883__1_2 PUNC n66_a_hardy_1883__1->n66_a_hardy_1883__1_2 n66_a_hardy_1883__1_1_1 ILYR n66_a_hardy_1883__1_1->n66_a_hardy_1883__1_1_1 n66_a_hardy_1883__1_1_2 CONJP n66_a_hardy_1883__1_1->n66_a_hardy_1883__1_1_2 n66_a_hardy_1883__1_1_1_1 ADVP-NIM n66_a_hardy_1883__1_1_1->n66_a_hardy_1883__1_1_1_1 n66_a_hardy_1883__1_1_1_2 NP-SBJ n66_a_hardy_1883__1_1_1->n66_a_hardy_1883__1_1_1_2 n66_a_hardy_1883__1_1_1_3 VBD;__ n66_a_hardy_1883__1_1_1->n66_a_hardy_1883__1_1_1_3 n66_a_hardy_1883__1_1_1_1_1 ADV n66_a_hardy_1883__1_1_1_1->n66_a_hardy_1883__1_1_1_1_1 n66_a_hardy_1883__1_1_1_1_1->n66_a_hardy_1883__1_1_1_1_1_1 n66_a_hardy_1883__1_1_1_2_1 D n66_a_hardy_1883__1_1_1_2->n66_a_hardy_1883__1_1_1_2_1 n66_a_hardy_1883__1_1_1_2_2 NS n66_a_hardy_1883__1_1_1_2->n66_a_hardy_1883__1_1_1_2_2 n66_a_hardy_1883__1_1_1_2_3 PP n66_a_hardy_1883__1_1_1_2->n66_a_hardy_1883__1_1_1_2_3 n66_a_hardy_1883__1_1_1_2_1->n66_a_hardy_1883__1_1_1_2_1_1 n66_a_hardy_1883__1_1_1_2_2->n66_a_hardy_1883__1_1_1_2_2_1 n66_a_hardy_1883__1_1_1_2_3_1 P-ROLE n66_a_hardy_1883__1_1_1_2_3->n66_a_hardy_1883__1_1_1_2_3_1 n66_a_hardy_1883__1_1_1_2_3_2 NP n66_a_hardy_1883__1_1_1_2_3->n66_a_hardy_1883__1_1_1_2_3_2 n66_a_hardy_1883__1_1_1_2_3_1->n66_a_hardy_1883__1_1_1_2_3_1_1 n66_a_hardy_1883__1_1_1_2_3_2_1 D n66_a_hardy_1883__1_1_1_2_3_2->n66_a_hardy_1883__1_1_1_2_3_2_1 n66_a_hardy_1883__1_1_1_2_3_2_2 N n66_a_hardy_1883__1_1_1_2_3_2->n66_a_hardy_1883__1_1_1_2_3_2_2 n66_a_hardy_1883__1_1_1_2_3_2_1->n66_a_hardy_1883__1_1_1_2_3_2_1_1 n66_a_hardy_1883__1_1_1_2_3_2_2->n66_a_hardy_1883__1_1_1_2_3_2_2_1 n66_a_hardy_1883__1_1_1_3->n66_a_hardy_1883__1_1_1_3_1 n66_a_hardy_1883__1_1_2_1 CONJ n66_a_hardy_1883__1_1_2->n66_a_hardy_1883__1_1_2_1 n66_a_hardy_1883__1_1_2_2 ILYR n66_a_hardy_1883__1_1_2->n66_a_hardy_1883__1_1_2_2 n66_a_hardy_1883__1_1_2_1->n66_a_hardy_1883__1_1_2_1_1 n66_a_hardy_1883__1_1_2_2_1 NP-SBJ n66_a_hardy_1883__1_1_2_2->n66_a_hardy_1883__1_1_2_2_1 n66_a_hardy_1883__1_1_2_2_2 BED;_La_ n66_a_hardy_1883__1_1_2_2->n66_a_hardy_1883__1_1_2_2_2 n66_a_hardy_1883__1_1_2_2_3 ADJP-PRD n66_a_hardy_1883__1_1_2_2->n66_a_hardy_1883__1_1_2_2_3 n66_a_hardy_1883__1_1_2_2_1_1 D n66_a_hardy_1883__1_1_2_2_1->n66_a_hardy_1883__1_1_2_2_1_1 n66_a_hardy_1883__1_1_2_2_1_2 N n66_a_hardy_1883__1_1_2_2_1->n66_a_hardy_1883__1_1_2_2_1_2 n66_a_hardy_1883__1_1_2_2_1_1->n66_a_hardy_1883__1_1_2_2_1_1_1 n66_a_hardy_1883__1_1_2_2_1_2->n66_a_hardy_1883__1_1_2_2_1_2_1 n66_a_hardy_1883__1_1_2_2_2->n66_a_hardy_1883__1_1_2_2_2_1 n66_a_hardy_1883__1_1_2_2_3_1 ADJ n66_a_hardy_1883__1_1_2_2_3->n66_a_hardy_1883__1_1_2_2_3_1 n66_a_hardy_1883__1_1_2_2_3_1->n66_a_hardy_1883__1_1_2_2_3_1_1 n66_a_hardy_1883__1_2->n66_a_hardy_1883__1_2_1 
( (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 66_a_hardy_1883))


%3 r_0066_0011__was was r_0066_0012__silent silent r_0066_0011__was->r_0066_0012__silent [prd] r_0066_0009__the_r_0066_0010__house the house r_0066_0011__was->r_0066_0009__the_r_0066_0010__house [arg0] r_0066_0008__and and r_0066_0008__and->r_0066_0011__was [conj2] r_0066_0007__ceased ceased r_0066_0008__and->r_0066_0007__ceased [conj1] r_0066_0002__the_r_0066_0003__notes the notes r_0066_0007__ceased->r_0066_0002__the_r_0066_0003__notes [arg0] r_0066_0001__At_last At_last r_0066_0007__ceased->r_0066_0001__At_last [nim] r_0066_0005__the_r_0066_0006__serpent the serpent r_0066_0002__the_r_0066_0003__notes->r_0066_0005__the_r_0066_0006__serpent of 
arc(r_0066_0002__the_r_0066_0003__notes,r_0066_0005__the_r_0066_0006__serpent,r_0066_0004__of).
arc(r_0066_0007__ceased,r_0066_0001__At_last,nim).
arc(r_0066_0007__ceased,r_0066_0002__the_r_0066_0003__notes,arg0).
arc(r_0066_0008__and,r_0066_0007__ceased,conj1).
arc(r_0066_0008__and,r_0066_0011__was,conj2).
arc(r_0066_0011__was,r_0066_0009__the_r_0066_0010__house,arg0).
arc(r_0066_0011__was,r_0066_0012__silent,prd).


%3 r_0066_0002__the_r_0066_0003__notes the notes r_0066_0005__the_r_0066_0006__serpent the serpent r_0066_0002__the_r_0066_0003__notes->r_0066_0005__the_r_0066_0006__serpent of r_0066_0007__ceased ceased r_0066_0007__ceased->r_0066_0002__the_r_0066_0003__notes [arg0] r_0066_0001__At_last At_last r_0066_0007__ceased->r_0066_0001__At_last [nim] r_0066_0008__and and r_0066_0008__and->r_0066_0007__ceased [conj1] r_0066_0011__was was r_0066_0008__and->r_0066_0011__was [conj2] r_0066_0009__the_r_0066_0010__house the house r_0066_0011__was->r_0066_0009__the_r_0066_0010__house [arg0] r_0066_0012__silent silent r_0066_0011__was->r_0066_0012__silent [prd] 
fof(formula,axiom,
    ? [R_0066_0001__AT_LAST,R_0066_0005__THE_R_0066_0006__SERPENT,R_0066_0002__THE_R_0066_0003__NOTES,R_0066_0007__CEASED,R_0066_0009__THE_R_0066_0010__HOUSE,R_0066_0012__SILENT,R_0066_0011__WAS,R_0066_0008__AND] :
      ( r_0066_0001__At_last(R_0066_0001__AT_LAST)
      & r_0066_0005__the_r_0066_0006__serpent(R_0066_0005__THE_R_0066_0006__SERPENT)
      & r_0066_0009__the_r_0066_0010__house(R_0066_0009__THE_R_0066_0010__HOUSE)
      & r_0066_0012__silent(R_0066_0012__SILENT)
      & r_0066_0008__and(R_0066_0008__AND)
      & has_conj2(R_0066_0008__AND,R_0066_0011__WAS)
      & r_0066_0011__was(R_0066_0011__WAS)
      & has_prd(R_0066_0011__WAS,R_0066_0012__SILENT)
      & has_arg0(R_0066_0011__WAS,R_0066_0009__THE_R_0066_0010__HOUSE)
      & has_conj1(R_0066_0008__AND,R_0066_0007__CEASED)
      & r_0066_0007__ceased(R_0066_0007__CEASED)
      & has_arg0(R_0066_0007__CEASED,R_0066_0002__THE_R_0066_0003__NOTES)
      & ~ has_r_0066_0004__of(R_0066_0002__THE_R_0066_0003__NOTES,R_0066_0005__THE_R_0066_0006__SERPENT)
      & has_nim(R_0066_0007__CEASED,R_0066_0001__AT_LAST) ) ).