TSPC 20_a_wilde_2

20_a_wilde_2_1888
Then the Spring came, and all over the country there were little blossoms and little birds.

( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Then;{then}))
                      (NP-SBJ (D the;{the})
                              (NPR Spring;{Spring}))
                      (VBD;_I_ came;{come}))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-NIM (ADVP-NIM (ADV all;{all}))
                                     (P-ROLE over;{over})
                                     (NP (D the;{the})
                                         (N country;{country})))
                             (EX there;{there})
                             (BED;_ex_V_ were;{be})
                             (NP-ESBJ (NLYR (NLYR (ADJP (ADJ little;{little}))
                                                  (NS blossoms;{blossom}))
                                            (CONJP (CONJ and;{and})
                                                   (NLYR (ADJP (ADJ little;{little}))
                                                         (NS birds;{bird}))))))))
          (PUNC .))
  (ID 20_a_wilde_2_1888))

arc(r_0020_0004__came,r_0020_0001__Then,nim).
arc(r_0020_0004__came,r_0020_0002__the_r_0020_0003__Spring,arg0).
arc(r_0020_0006__and,r_0020_0004__came,conj1).
arc(r_0020_0006__and,r_0020_0012__were,conj2).
arc(r_0020_0012__were,r_0020_0009__the_r_0020_0010__country,r_0020_0007__all_r_0020_0008__over__nim).
arc(r_0020_0012__were,r_0020_0015__and,arg0).
arc(r_0020_0014__blossoms,r_0020_0013__little,attrib).
arc(r_0020_0015__and,r_0020_0014__blossoms,conj1).
arc(r_0020_0015__and,r_0020_0017__birds,conj2).
arc(r_0020_0017__birds,r_0020_0016__little,attrib).

fof(formula,axiom,
    ? [R_0020_0001__THEN,R_0020_0002__THE_R_0020_0003__SPRING,R_0020_0004__CAME,R_0020_0009__THE_R_0020_0010__COUNTRY,R_0020_0013__LITTLE,R_0020_0014__BLOSSOMS,R_0020_0016__LITTLE,R_0020_0017__BIRDS,R_0020_0015__AND,R_0020_0012__WERE,R_0020_0006__AND] :
      ( r_0020_0001__Then(R_0020_0001__THEN)
      & r_0020_0002__the_r_0020_0003__Spring(R_0020_0002__THE_R_0020_0003__SPRING)
      & r_0020_0009__the_r_0020_0010__country(R_0020_0009__THE_R_0020_0010__COUNTRY)
      & r_0020_0013__little(R_0020_0013__LITTLE)
      & r_0020_0016__little(R_0020_0016__LITTLE)
      & r_0020_0006__and(R_0020_0006__AND)
      & has_conj2(R_0020_0006__AND,R_0020_0012__WERE)
      & r_0020_0012__were(R_0020_0012__WERE)
      & has_arg0(R_0020_0012__WERE,R_0020_0015__AND)
      & r_0020_0015__and(R_0020_0015__AND)
      & has_conj2(R_0020_0015__AND,R_0020_0017__BIRDS)
      & r_0020_0017__birds(R_0020_0017__BIRDS)
      & has_attrib(R_0020_0017__BIRDS,R_0020_0016__LITTLE)
      & has_conj1(R_0020_0015__AND,R_0020_0014__BLOSSOMS)
      & r_0020_0014__blossoms(R_0020_0014__BLOSSOMS)
      & has_attrib(R_0020_0014__BLOSSOMS,R_0020_0013__LITTLE)
      & has_r_0020_0007__all_r_0020_0008__over__nim(R_0020_0012__WERE,R_0020_0009__THE_R_0020_0010__COUNTRY)
      & has_conj1(R_0020_0006__AND,R_0020_0004__CAME)
      & r_0020_0004__came(R_0020_0004__CAME)
      & has_arg0(R_0020_0004__CAME,R_0020_0002__THE_R_0020_0003__SPRING)
      & has_nim(R_0020_0004__CAME,R_0020_0001__THEN) ) ).