( (IP-MAT (NP-SBJ (ADVP (ADV Only;{only}))
                  (D a;{a})
                  (N savage;{savage}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (VB;__ turn;{turn})
                      (ADVP-NIM (ADV away;{away})))
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ (PRO;_provisional_ it;{it}))
                           (BED;_Ln_ 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))

arc(r_0173_0002__a_r_0173_0003__savage,r_0173_0001__Only,qual).
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,nim).
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,nim).
arc(r_0173_0009__was,r_0173_0011__kindness,arg0).
arc(r_0173_0009__was,z_0173_5010,prd).
arc(r_0173_0013__was,r_0173_0014__needed,scope).
arc(r_0173_0014__needed,z_0173_5007___star_,arg0).
arc(r_0173_0014__needed,z_0173_5010,arg1).

fof(formula,axiom,
    ? [Z_0173_5007___STAR_,Z_0173_5010,R_0173_0013__WAS_R_0173_0014__NEEDED] :
      ( z_0173_5007___star_(Z_0173_5007___STAR_)
      & z_0173_5010(Z_0173_5010)
      & r_0173_0013__was_r_0173_0014__needed(R_0173_0013__WAS_R_0173_0014__NEEDED)
      & has_arg1(R_0173_0013__WAS_R_0173_0014__NEEDED,Z_0173_5010)
      & has_arg0(R_0173_0013__WAS_R_0173_0014__NEEDED,Z_0173_5007___STAR_)
      & ! [R_0173_0009__WAS,R_0173_0010__MERELY,R_0173_0011__KINDNESS] :
          ( ( r_0173_0010__merely(R_0173_0010__MERELY)
            & r_0173_0011__kindness(R_0173_0011__KINDNESS)
            & r_0173_0009__was(R_0173_0009__WAS)
            & has_prd(R_0173_0009__WAS,Z_0173_5010)
            & has_arg0(R_0173_0009__WAS,R_0173_0011__KINDNESS)
            & has_nim(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_nim(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_qual(R_0173_0002__A_R_0173_0003__SAVAGE,R_0173_0001__ONLY) ) ) ) ).