( (IP-MAT (ILYR (ILYR (CONJ;_cl_ But;{but})
                      (NP-SBJ (D the;{the})
                              (NPR Spring;{Spring}))
                      (ADVP-NIM (ADV never;{never}))
                      (VBD;__ came;{come}))
                (PUNC ,)
                (CONJP (CONJ nor;{nor})
                       (ILYR (NP-SBJ (D the;{the})
                                     (N Summer;{summer})))))
          (PUNC .))
  (ID 34_a_wilde_2_1888))

arc(r_0034_0005__came,r_0034_0002__the_r_0034_0003__Spring,arg0).
arc(r_0034_0005__came,r_0034_0004__never,nim).
arc(r_0034_0007__nor,r_0034_0005__came,conj1).
arc(r_0034_0007__nor,z_0034_5004,conj2).
arc(z_0034_5004,r_0034_0008__the_r_0034_0009__Summer,arg0).

fof(formula,axiom,
    ? [R_0034_0002__THE_R_0034_0003__SPRING,R_0034_0004__NEVER,R_0034_0005__CAME,R_0034_0008__THE_R_0034_0009__SUMMER,Z_0034_5004,R_0034_0007__NOR] :
      ( r_0034_0002__the_r_0034_0003__Spring(R_0034_0002__THE_R_0034_0003__SPRING)
      & r_0034_0004__never(R_0034_0004__NEVER)
      & r_0034_0008__the_r_0034_0009__Summer(R_0034_0008__THE_R_0034_0009__SUMMER)
      & r_0034_0007__nor(R_0034_0007__NOR)
      & has_conj2(R_0034_0007__NOR,Z_0034_5004)
      & z_0034_5004(Z_0034_5004)
      & has_arg0(Z_0034_5004,R_0034_0008__THE_R_0034_0009__SUMMER)
      & has_conj1(R_0034_0007__NOR,R_0034_0005__CAME)
      & r_0034_0005__came(R_0034_0005__CAME)
      & has_nim(R_0034_0005__CAME,R_0034_0004__NEVER)
      & has_arg0(R_0034_0005__CAME,R_0034_0002__THE_R_0034_0003__SPRING) ) ).