( (FRAG (ADVP-NIM (WADV How;{how}))
        (IP-INF-OB1 (TO to;{to})
                    (VB;_Tn_ wind;{wind})
                    (NP-OB1 (D the;{the})
                            (ADJP (ADJ main;{main}))
                            (N spring;{spring}))))
  (ID 74_a_seiko_9r65))

arc(r_0074_0003__wind,r_0074_0004__the_r_0074_0006__spring,arg1).
arc(r_0074_0003__wind,z_0074_5003,arg0).
arc(r_0074_0004__the_r_0074_0006__spring,r_0074_0005__main,attrib).
arc(z_0074_5008,r_0074_0001__How,nim).
arc(z_0074_5008,r_0074_0003__wind,arg1).

fof(formula,axiom,
    ? [R_0074_0001__HOW,R_0074_0005__MAIN,R_0074_0004__THE_R_0074_0006__SPRING,Z_0074_5003,R_0074_0003__WIND,Z_0074_5008] :
      ( r_0074_0001__How(R_0074_0001__HOW)
      & r_0074_0005__main(R_0074_0005__MAIN)
      & z_0074_5003(Z_0074_5003)
      & z_0074_5008(Z_0074_5008)
      & has_arg1(Z_0074_5008,R_0074_0003__WIND)
      & r_0074_0003__wind(R_0074_0003__WIND)
      & has_arg0(R_0074_0003__WIND,Z_0074_5003)
      & has_arg1(R_0074_0003__WIND,R_0074_0004__THE_R_0074_0006__SPRING)
      & r_0074_0004__the_r_0074_0006__spring(R_0074_0004__THE_R_0074_0006__SPRING)
      & has_attrib(R_0074_0004__THE_R_0074_0006__SPRING,R_0074_0005__MAIN)
      & has_nim(Z_0074_5008,R_0074_0001__HOW) ) ).