TSPC 3_a_coleridge

3_a_coleridge_1798
So twice five miles of fertile ground With walls and towers were girdled round: And there were gardens bright with sinuous rills, Where blossomed many an incense-bearing tree; And here were forests ancient as the hills, Enfolding sunny spots of greenery.

( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV So;{so}))
                      (NP-SBJ (ADVP (ADV twice;{twice}))
                              (NUM five;{five})
                              (NS miles;{mile})
                              (PP (P-ROLE of;{of})
                                  (NP (ADJP (ADJ fertile;{fertile}))
                                      (N ground;{ground})))
                              (PP (P-ROLE With;{with})
                                  (NP (NLYR (NLYR (NS walls;{wall}))
                                            (CONJP (CONJ and;{and})
                                                   (NLYR (NS towers;{tower})))))))
                      (BED;_cat_VePASS_ were;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn.p_ girdled;{girdle[round]})
                                  (ADVP-CLR (RP round;{round}))))
                (PUNC :)
                (CONJP (CONJ And;{and})
                       (ILYR (ILYR (ILYR (EX there;{there})
                                         (BED;_ex_V_ were;{be})
                                         (NP-ESBJ (NS gardens;{garden})
                                                  (ADJP (ADJ bright;{bright})
                                                        (PP (P-ROLE with;{with})
                                                            (NP (ADJP (ADJ sinuous;{sinuous}))
                                                                (NS rills;{rill}))))
                                                  (PUNC ,)
                                                  (IP-REL (ADVP-TPC-NIM (RADV Where;{where}))
                                                          (VBD;_I_ blossomed;{blossom})
                                                          (NP-SBJ (ADJP (ADJ many;{many}))
                                                                  (D an;{an})
                                                                  (ADJP (ADJ incense_<hyphen>_bearing;{incense_bearing}))
                                                                  (N tree;{tree})))))
                                   (PUNC ;)
                                   (CONJP (CONJ And;{and})
                                          (ILYR (ADVP-TPC-CLR (ADV here;{here}))
                                                (BED;_Ip_ were;{be})
                                                (NP-SBJ (NS forests;{forest})
                                                        (ADJP (ADJ ancient;{ancient})
                                                              (PP (P-ROLE as;{as})
                                                                  (NP (D the;{the})
                                                                      (NS hills;{hill}))))
                                                        (PUNC ,)
                                                        (IP-PPL (VAG;_Tn_ Enfolding;{enfold})
                                                                (NP-OB1 (ADJP (ADJ sunny;{sunny}))
                                                                        (NS spots;{spot})
                                                                        (PP (P-ROLE of;{of})
                                                                            (NP (N greenery;{greenery}))))))))))))
          (PUNC .))
  (ID 3_a_coleridge_1798))

arc(r_0003_0003__five_r_0003_0004__miles,r_0003_0002__twice,qual).
arc(r_0003_0003__five_r_0003_0004__miles,r_0003_0007__ground,r_0003_0005__of).
arc(r_0003_0003__five_r_0003_0004__miles,r_0003_0010__and,r_0003_0008__With).
arc(r_0003_0007__ground,r_0003_0006__fertile,attrib).
arc(r_0003_0010__and,r_0003_0009__walls,conj1).
arc(r_0003_0010__and,r_0003_0011__towers,conj2).
arc(r_0003_0012__were,r_0003_0001__So,nim).
arc(r_0003_0012__were,r_0003_0013__girdled_r_0003_0014__round,scope).
arc(r_0003_0013__girdled_r_0003_0014__round,r_0003_0003__five_r_0003_0004__miles,arg1).
arc(r_0003_0013__girdled_r_0003_0014__round,z_0003_5010___star_,arg0).
arc(r_0003_0016__And,r_0003_0012__were,conj1).
arc(r_0003_0016__And,r_0003_0032__And,conj2).
arc(r_0003_0018__were,r_0003_0019__gardens,arg0).
arc(r_0003_0019__gardens,r_0003_0020__bright,attrib).
arc(r_0003_0020__bright,r_0003_0023__rills,r_0003_0021__with).
arc(r_0003_0023__rills,r_0003_0022__sinuous,attrib).
arc(r_0003_0026__blossomed,r_0003_0019__gardens,nim).
arc(r_0003_0026__blossomed,r_0003_0028__an_r_0003_0030__tree,arg0).
arc(r_0003_0028__an_r_0003_0030__tree,r_0003_0027__many,attrib).
arc(r_0003_0028__an_r_0003_0030__tree,r_0003_0029__incense__hyphen__bearing,attrib).
arc(r_0003_0032__And,r_0003_0018__were,conj1).
arc(r_0003_0032__And,r_0003_0033__here_r_0003_0034__were,conj2).
arc(r_0003_0033__here_r_0003_0034__were,r_0003_0035__forests,arg0).
arc(r_0003_0035__forests,r_0003_0036__ancient,attrib).
arc(r_0003_0036__ancient,r_0003_0038__the_r_0003_0039__hills,r_0003_0037__as).
arc(r_0003_0041__Enfolding,r_0003_0035__forests,inv_arg0).
arc(r_0003_0041__Enfolding,r_0003_0043__spots,arg1).
arc(r_0003_0043__spots,r_0003_0042__sunny,attrib).
arc(r_0003_0043__spots,r_0003_0045__greenery,r_0003_0044__of).

fof(formula,axiom,
    ? [R_0003_0001__SO,R_0003_0002__TWICE,R_0003_0006__FERTILE,R_0003_0007__GROUND,R_0003_0009__WALLS,R_0003_0011__TOWERS,R_0003_0010__AND,R_0003_0003__FIVE_R_0003_0004__MILES,Z_0003_5010___STAR_,R_0003_0012__WERE_R_0003_0013__GIRDLED_R_0003_0014__ROUND,R_0003_0022__SINUOUS,R_0003_0023__RILLS,R_0003_0020__BRIGHT,R_0003_0019__GARDENS,R_0003_0018__WERE,R_0003_0038__THE_R_0003_0039__HILLS,R_0003_0036__ANCIENT,R_0003_0042__SUNNY,R_0003_0045__GREENERY,R_0003_0043__SPOTS,R_0003_0041__ENFOLDING,R_0003_0035__FORESTS,R_0003_0033__HERE_R_0003_0034__WERE,R_0003_0032__AND,R_0003_0016__AND,R_0003_0027__MANY,R_0003_0029__INCENSE__HYPHEN__BEARING,R_0003_0028__AN_R_0003_0030__TREE,R_0003_0026__BLOSSOMED] :
      ( r_0003_0001__So(R_0003_0001__SO)
      & r_0003_0002__twice(R_0003_0002__TWICE)
      & r_0003_0006__fertile(R_0003_0006__FERTILE)
      & r_0003_0009__walls(R_0003_0009__WALLS)
      & r_0003_0011__towers(R_0003_0011__TOWERS)
      & r_0003_0022__sinuous(R_0003_0022__SINUOUS)
      & r_0003_0027__many(R_0003_0027__MANY)
      & r_0003_0029__incense__hyphen__bearing(R_0003_0029__INCENSE__HYPHEN__BEARING)
      & r_0003_0038__the_r_0003_0039__hills(R_0003_0038__THE_R_0003_0039__HILLS)
      & r_0003_0042__sunny(R_0003_0042__SUNNY)
      & r_0003_0045__greenery(R_0003_0045__GREENERY)
      & z_0003_5010___star_(Z_0003_5010___STAR_)
      & r_0003_0026__blossomed(R_0003_0026__BLOSSOMED)
      & has_arg0(R_0003_0026__BLOSSOMED,R_0003_0028__AN_R_0003_0030__TREE)
      & r_0003_0028__an_r_0003_0030__tree(R_0003_0028__AN_R_0003_0030__TREE)
      & has_attrib(R_0003_0028__AN_R_0003_0030__TREE,R_0003_0029__INCENSE__HYPHEN__BEARING)
      & has_attrib(R_0003_0028__AN_R_0003_0030__TREE,R_0003_0027__MANY)
      & has_nim(R_0003_0026__BLOSSOMED,R_0003_0019__GARDENS)
      & r_0003_0019__gardens(R_0003_0019__GARDENS)
      & has_attrib(R_0003_0019__GARDENS,R_0003_0020__BRIGHT)
      & r_0003_0020__bright(R_0003_0020__BRIGHT)
      & has_r_0003_0021__with(R_0003_0020__BRIGHT,R_0003_0023__RILLS)
      & r_0003_0023__rills(R_0003_0023__RILLS)
      & has_attrib(R_0003_0023__RILLS,R_0003_0022__SINUOUS)
      & r_0003_0016__And(R_0003_0016__AND)
      & has_conj2(R_0003_0016__AND,R_0003_0032__AND)
      & r_0003_0032__And(R_0003_0032__AND)
      & has_conj2(R_0003_0032__AND,R_0003_0033__HERE_R_0003_0034__WERE)
      & r_0003_0033__here_r_0003_0034__were(R_0003_0033__HERE_R_0003_0034__WERE)
      & has_arg0(R_0003_0033__HERE_R_0003_0034__WERE,R_0003_0035__FORESTS)
      & r_0003_0035__forests(R_0003_0035__FORESTS)
      & has_inv_arg0(R_0003_0035__FORESTS,R_0003_0041__ENFOLDING)
      & r_0003_0041__Enfolding(R_0003_0041__ENFOLDING)
      & has_arg1(R_0003_0041__ENFOLDING,R_0003_0043__SPOTS)
      & r_0003_0043__spots(R_0003_0043__SPOTS)
      & has_r_0003_0044__of(R_0003_0043__SPOTS,R_0003_0045__GREENERY)
      & has_attrib(R_0003_0043__SPOTS,R_0003_0042__SUNNY)
      & has_attrib(R_0003_0035__FORESTS,R_0003_0036__ANCIENT)
      & r_0003_0036__ancient(R_0003_0036__ANCIENT)
      & has_r_0003_0037__as(R_0003_0036__ANCIENT,R_0003_0038__THE_R_0003_0039__HILLS)
      & has_conj1(R_0003_0032__AND,R_0003_0018__WERE)
      & r_0003_0018__were(R_0003_0018__WERE)
      & has_arg0(R_0003_0018__WERE,R_0003_0019__GARDENS)
      & has_conj1(R_0003_0016__AND,R_0003_0012__WERE_R_0003_0013__GIRDLED_R_0003_0014__ROUND)
      & r_0003_0012__were_r_0003_0013__girdled_r_0003_0014__round(R_0003_0012__WERE_R_0003_0013__GIRDLED_R_0003_0014__ROUND)
      & has_arg0(R_0003_0012__WERE_R_0003_0013__GIRDLED_R_0003_0014__ROUND,Z_0003_5010___STAR_)
      & has_arg1(R_0003_0012__WERE_R_0003_0013__GIRDLED_R_0003_0014__ROUND,R_0003_0003__FIVE_R_0003_0004__MILES)
      & r_0003_0003__five_r_0003_0004__miles(R_0003_0003__FIVE_R_0003_0004__MILES)
      & has_r_0003_0008__With(R_0003_0003__FIVE_R_0003_0004__MILES,R_0003_0010__AND)
      & r_0003_0010__and(R_0003_0010__AND)
      & has_conj2(R_0003_0010__AND,R_0003_0011__TOWERS)
      & has_conj1(R_0003_0010__AND,R_0003_0009__WALLS)
      & has_r_0003_0005__of(R_0003_0003__FIVE_R_0003_0004__MILES,R_0003_0007__GROUND)
      & r_0003_0007__ground(R_0003_0007__GROUND)
      & has_attrib(R_0003_0007__GROUND,R_0003_0006__FERTILE)
      & has_qual(R_0003_0003__FIVE_R_0003_0004__MILES,R_0003_0002__TWICE)
      & has_nim(R_0003_0012__WERE_R_0003_0013__GIRDLED_R_0003_0014__ROUND,R_0003_0001__SO) ) ).