( (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))

arc(r_0196_0002__standing,r_0196_0003__straight,nim).
arc(r_0196_0002__standing,r_0196_0004__I,arg0).
arc(r_0196_0005__walked_r_0196_0006__on,r_0196_0001__Then,nim).
arc(r_0196_0005__walked_r_0196_0006__on,r_0196_0004__I,arg0).
arc(z_0196_5002,r_0196_0002__standing,restriction).
arc(z_0196_5002,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_0196_5002] :
      ( 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_0196_5002(Z_0196_5002)
      & has_conj2(Z_0196_5002,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_nim(R_0196_0005__WALKED_R_0196_0006__ON,R_0196_0001__THEN)
      & has_conj1(Z_0196_5002,R_0196_0002__STANDING)
      & r_0196_0002__standing(R_0196_0002__STANDING)
      & has_arg0(R_0196_0002__STANDING,R_0196_0004__I)
      & has_nim(R_0196_0002__STANDING,R_0196_0003__STRAIGHT) ) ).