17_a_hardy_1883
The level rainstorm smote walls, slopes, and hedges like the clothyard shafts of Senlac and Crecy.
arc(r_0017_0001__The_r_0017_0003__rainstorm, r_0017_0002__level, attrib5).
arc(r_0017_0004__smote, r_0017_0001__The_r_0017_0003__rainstorm, arg0).
arc(r_0017_0004__smote, r_0017_0009__and, arg1).
arc(r_0017_0004__smote, r_0017_0012__the_r_0017_0014__shafts, r_0017_0011__like_nim34).
arc(r_0017_0009__and, r_0017_0005__walls, conj1).
arc(r_0017_0009__and, r_0017_0007__slopes, conj2).
arc(r_0017_0009__and, r_0017_0010__hedges, conj3).
arc(r_0017_0012__the_r_0017_0014__shafts, r_0017_0013__clothyard, attrib37).
arc(r_0017_0012__the_r_0017_0014__shafts, r_0017_0017__and, r_0017_0015__of).
arc(r_0017_0017__and, r_0017_0016__Senlac, conj1).
arc(r_0017_0017__and, r_0017_0018__Crecy, conj2).
fof(formula,axiom,
? [R_17_4_SMOTE,R_17_1_THE_RAINSTORM,R_17_2_LEVEL,R_17_9_AND,R_17_5_WALLS,R_17_7_SLOPES,R_17_10_HEDGES,R_17_12_THE_SHAFTS,R_17_13_CLOTHYARD,R_17_17_AND,R_17_16_SENLAC,R_17_18_CRECY] :
( level(R_17_2_LEVEL)
& walls(R_17_5_WALLS)
& slopes(R_17_7_SLOPES)
& hedges(R_17_10_HEDGES)
& clothyard(R_17_13_CLOTHYARD)
& senlac(R_17_16_SENLAC)
& crecy(R_17_18_CRECY)
& smote(R_17_4_SMOTE,R_17_1_THE_RAINSTORM,R_17_9_AND)
& the_rainstorm(R_17_1_THE_RAINSTORM)
& attrib5(R_17_1_THE_RAINSTORM,R_17_2_LEVEL)
& and(R_17_9_AND)
& conj1(R_17_9_AND,R_17_5_WALLS)
& conj2(R_17_9_AND,R_17_7_SLOPES)
& conj3(R_17_9_AND,R_17_10_HEDGES)
& like_nim34(R_17_4_SMOTE,R_17_12_THE_SHAFTS)
& the_shafts(R_17_12_THE_SHAFTS)
& attrib37(R_17_12_THE_SHAFTS,R_17_13_CLOTHYARD)
& of(R_17_12_THE_SHAFTS,R_17_17_AND)
& and(R_17_17_AND)
& conj1(R_17_17_AND,R_17_16_SENLAC)
& conj2(R_17_17_AND,R_17_18_CRECY) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(ADJP (ADJ level;{level}))
(N rainstorm;{rainstorm}))
(VBD;_Tn_ smote;{smite})
(NP-OB1 (NLYR (NLYR (NS walls;{wall}))
(PUNC ,)
(CONJP (NLYR (NS slopes;{slope})))
(PUNC ,)
(CONJP (CONJ and;{and})
(NLYR (NS hedges;{hedge})))))
(PP-NIM (P-ROLE like;{like})
(NP (D the;{the})
(ADJP (ADJ clothyard;{clothyard}))
(NS shafts;{shaft})
(PP (P-ROLE of;{of})
(NP (NLYR (NLYR (NPR Senlac;{Senlac}))
(CONJP (CONJ and;{and})
(NLYR (NPR Crecy;{Crecy}))))))))
(PUNC .))
(ID 17_a_hardy_1883))