arc(r_0173_0002__a_r_0173_0003__savage, r_0173_0001__Only, qual3).
arc(r_0173_0004__would, r_0173_0005__turn, scope).
arc(r_0173_0005__turn, r_0173_0002__a_r_0173_0003__savage, arg0).
arc(r_0173_0005__turn, r_0173_0006__away, clr15).
arc(r_0173_0007__when, r_0173_0004__would, scope).
arc(r_0173_0007__when, r_0173_0009__was, restriction).
arc(r_0173_0009__was, r_0173_0010__merely, nim27).
arc(r_0173_0009__was, r_0173_0011__kindness, arg0).
arc(r_0173_0009__was, r_0173_0012__that_r_0173_0013__was, prd).
arc(r_0173_0012__that_r_0173_0013__was, r_0173_0014__needed, scope).
arc(r_0173_0014__needed, x_000_173_a_loosechange_33, arg1).
arc(r_0173_0014__needed, z_000_173_a_loosechange_41, arg0).

fof(formula,axiom,
    ! [R_0173_0009__WAS,R_0173_0010__MERELY,R_0173_0011__KINDNESS,X_000_173_A_LOOSECHANGE_33,Z_000_173_A_LOOSECHANGE_41,R_0173_0012__THAT_R_0173_0013__WAS_R_0173_0014__NEEDED] :
      ( ( r_0173_0010__merely(R_0173_0010__MERELY)
        & r_0173_0011__kindness(R_0173_0011__KINDNESS)
        & x_000_173_a_loosechange_33(X_000_173_A_LOOSECHANGE_33)
        & z_000_173_a_loosechange_41(Z_000_173_A_LOOSECHANGE_41)
        & r_0173_0009__was(R_0173_0009__WAS)
        & has_prd(R_0173_0009__WAS,R_0173_0012__THAT_R_0173_0013__WAS_R_0173_0014__NEEDED)
        & r_0173_0012__that_r_0173_0013__was_r_0173_0014__needed(R_0173_0012__THAT_R_0173_0013__WAS_R_0173_0014__NEEDED)
        & has_arg0(R_0173_0012__THAT_R_0173_0013__WAS_R_0173_0014__NEEDED,Z_000_173_A_LOOSECHANGE_41)
        & has_arg1(R_0173_0012__THAT_R_0173_0013__WAS_R_0173_0014__NEEDED,X_000_173_A_LOOSECHANGE_33)
        & has_arg0(R_0173_0009__WAS,R_0173_0011__KINDNESS)
        & has_nim27(R_0173_0009__WAS,R_0173_0010__MERELY) )
     => ? [R_0173_0001__ONLY,R_0173_0002__A_R_0173_0003__SAVAGE,R_0173_0006__AWAY,R_0173_0004__WOULD_R_0173_0005__TURN] :
          ( r_0173_0001__Only(R_0173_0001__ONLY)
          & r_0173_0006__away(R_0173_0006__AWAY)
          & r_0173_0004__would_r_0173_0005__turn(R_0173_0004__WOULD_R_0173_0005__TURN)
          & has_clr15(R_0173_0004__WOULD_R_0173_0005__TURN,R_0173_0006__AWAY)
          & has_arg0(R_0173_0004__WOULD_R_0173_0005__TURN,R_0173_0002__A_R_0173_0003__SAVAGE)
          & r_0173_0002__a_r_0173_0003__savage(R_0173_0002__A_R_0173_0003__SAVAGE)
          & has_qual3(R_0173_0002__A_R_0173_0003__SAVAGE,R_0173_0001__ONLY) ) ) ).

( (IP-MAT (NP-SBJ (ADVP (ADV Only;{only}))
                  (D a;{a})
                  (N savage;{savage}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (VB;_Ip_ turn;{turn[away]})
                      (ADVP-CLR (ADV away;{away})))
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ (PRO;_provisional_ it;{it}))
                           (BED;_cleft_Vn_ was;{be})
                           (ADVP-NIM (ADV merely;{merely}))
                           (NP-FOC (N kindness;{kindness}))
                           (IP-CLF (C that;{that})
                                   (NP-SBJ *T*)
                                   (BED;_cat_VePASS_ was;{be})
                                   (IP-PPL-CAT (NP-LGS *)
                                               (VVN;__ needed;{need})))))
          (PUNC .))
  (ID 173_a_loosechange))