arc(r_0196_0002__standing, r_0196_0003__straight, nim9).
arc(r_0196_0002__standing, r_0196_0004__I, arg0).
arc(r_0196_0005__walked_r_0196_0006__on, r_0196_0001__Then, nim2).
arc(r_0196_0005__walked_r_0196_0006__on, r_0196_0004__I, arg0).
arc(z_000_196_a_loosechange_5, r_0196_0002__standing, restriction).
arc(z_000_196_a_loosechange_5, r_0196_0005__walked_r_0196_0006__on, scope).

fof(formula,axiom,
    ? [R_0196_0003__STRAIGHT,R_0196_0004__I,R_0196_0002__STANDING,R_0196_0001__THEN,R_0196_0005__WALKED_R_0196_0006__ON,Z_000_196_A_LOOSECHANGE_5] :
      ( r_0196_0001__Then(R_0196_0001__THEN)
      & r_0196_0003__straight(R_0196_0003__STRAIGHT)
      & r_0196_0004__I(R_0196_0004__I)
      & z_000_196_a_loosechange_5(Z_000_196_A_LOOSECHANGE_5)
      & has_conj2(Z_000_196_A_LOOSECHANGE_5,R_0196_0005__WALKED_R_0196_0006__ON)
      & r_0196_0005__walked_r_0196_0006__on(R_0196_0005__WALKED_R_0196_0006__ON)
      & has_arg0(R_0196_0005__WALKED_R_0196_0006__ON,R_0196_0004__I)
      & has_nim2(R_0196_0005__WALKED_R_0196_0006__ON,R_0196_0001__THEN)
      & has_conj1(Z_000_196_A_LOOSECHANGE_5,R_0196_0002__STANDING)
      & r_0196_0002__standing(R_0196_0002__STANDING)
      & has_arg0(R_0196_0002__STANDING,R_0196_0004__I)
      & has_nim9(R_0196_0002__STANDING,R_0196_0003__STRAIGHT) ) ).

( (IP-MAT (ADVP-NIM (ADV Then;{then}))
          (PP-SCON (IP-PPL2 (VAG;__ standing;{stand})
                            (ADVP-NIM (ADV straight;{straight}))))
          (NP-SBJ (PRO I;{I}))
          (VBD;_phr_Vp_ walked;{walk[on]})
          (RP on;{on})
          (PUNC .))
  (ID 196_a_loosechange))