( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBD;_Tn_ rode;{ride})
          (NP-OB1 (D a;{a})
                  (N bike;{bike}))
          (PP-NIM (P-ROLE to;{to})
                  (NP;{GOODWILL} (NPR Goodwill;{Goodwill})))
          (PP-NIM (P-ROLE in;{in})
                  (NP (D the;{the})
                      (NLYR (NLYR (N rain;{rain}))
                            (CONJP (CONJ and;{and})
                                   (NLYR (N snow;{snow}))))))
          (PUNC .))
  (ID 22_a_goodwill))

arc(r_0022_0002__rode,r_0022_0001__I,arg0).
arc(r_0022_0002__rode,r_0022_0003__a_r_0022_0004__bike,arg1).
arc(r_0022_0002__rode,r_0022_0006__Goodwill,r_0022_0005__to__nim).
arc(r_0022_0002__rode,r_0022_0008__the_r_0022_0009__rain_r_0022_0010__and_r_0022_0011__snow,r_0022_0007__in__nim).

fof(formula,axiom,
    ? [R_0022_0001__I,R_0022_0003__A_R_0022_0004__BIKE,R_0022_0006__GOODWILL,R_0022_0008__THE_R_0022_0009__RAIN_R_0022_0010__AND_R_0022_0011__SNOW,R_0022_0002__RODE] :
      ( r_0022_0001__I(R_0022_0001__I)
      & r_0022_0003__a_r_0022_0004__bike(R_0022_0003__A_R_0022_0004__BIKE)
      & r_0022_0006__Goodwill(R_0022_0006__GOODWILL)
      & r_0022_0008__the_r_0022_0009__rain_r_0022_0010__and_r_0022_0011__snow(R_0022_0008__THE_R_0022_0009__RAIN_R_0022_0010__AND_R_0022_0011__SNOW)
      & r_0022_0002__rode(R_0022_0002__RODE)
      & has_r_0022_0007__in__nim(R_0022_0002__RODE,R_0022_0008__THE_R_0022_0009__RAIN_R_0022_0010__AND_R_0022_0011__SNOW)
      & has_r_0022_0005__to__nim(R_0022_0002__RODE,R_0022_0006__GOODWILL)
      & has_arg1(R_0022_0002__RODE,R_0022_0003__A_R_0022_0004__BIKE)
      & has_arg0(R_0022_0002__RODE,R_0022_0001__I) ) ).