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_0017_0002__LEVEL,R_0017_0001__THE_R_0017_0003__RAINSTORM,R_0017_0005__WALLS,R_0017_0007__SLOPES,R_0017_0010__HEDGES,R_0017_0009__AND,R_0017_0013__CLOTHYARD,R_0017_0016__SENLAC,R_0017_0018__CRECY,R_0017_0017__AND,R_0017_0012__THE_R_0017_0014__SHAFTS,R_0017_0004__SMOTE] :
( r_0017_0002__level(R_0017_0002__LEVEL)
& r_0017_0005__walls(R_0017_0005__WALLS)
& r_0017_0007__slopes(R_0017_0007__SLOPES)
& r_0017_0010__hedges(R_0017_0010__HEDGES)
& r_0017_0013__clothyard(R_0017_0013__CLOTHYARD)
& r_0017_0016__Senlac(R_0017_0016__SENLAC)
& r_0017_0018__Crecy(R_0017_0018__CRECY)
& r_0017_0004__smote(R_0017_0004__SMOTE)
& has_r_0017_0011__like_nim34(R_0017_0004__SMOTE,R_0017_0012__THE_R_0017_0014__SHAFTS)
& r_0017_0012__the_r_0017_0014__shafts(R_0017_0012__THE_R_0017_0014__SHAFTS)
& has_r_0017_0015__of(R_0017_0012__THE_R_0017_0014__SHAFTS,R_0017_0017__AND)
& r_0017_0017__and(R_0017_0017__AND)
& has_conj2(R_0017_0017__AND,R_0017_0018__CRECY)
& has_conj1(R_0017_0017__AND,R_0017_0016__SENLAC)
& has_attrib37(R_0017_0012__THE_R_0017_0014__SHAFTS,R_0017_0013__CLOTHYARD)
& has_arg1(R_0017_0004__SMOTE,R_0017_0009__AND)
& r_0017_0009__and(R_0017_0009__AND)
& has_conj3(R_0017_0009__AND,R_0017_0010__HEDGES)
& has_conj2(R_0017_0009__AND,R_0017_0007__SLOPES)
& has_conj1(R_0017_0009__AND,R_0017_0005__WALLS)
& has_arg0(R_0017_0004__SMOTE,R_0017_0001__THE_R_0017_0003__RAINSTORM)
& r_0017_0001__The_r_0017_0003__rainstorm(R_0017_0001__THE_R_0017_0003__RAINSTORM)
& has_attrib5(R_0017_0001__THE_R_0017_0003__RAINSTORM,R_0017_0002__LEVEL) ) ).
( (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))