TSPC 17_a_hardy

17_a_hardy_1883
The level rainstorm smote walls, slopes, and hedges like the clothyard shafts of Senlac and 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))

arc(r_0017_0001__The_r_0017_0003__rainstorm,r_0017_0002__level,attrib).
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__nim).
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,attrib).
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__nim(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_attrib(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_attrib(R_0017_0001__THE_R_0017_0003__RAINSTORM,R_0017_0002__LEVEL) ) ).