( (FRAG (NP (NP-GEN;{GRANDMA} (PRO;_genm_ Her;{her}))
            (ADJP (ADJ Good;{good}))
            (NPR Samaritan;{Samaritan}))
        (PUNC .))
  (ID 163_a_loosechange))

arc(r_0163_0003__Samaritan,r_0163_0001__Her,gen).
arc(r_0163_0003__Samaritan,r_0163_0002__Good,attrib).
arc(z_0163_5004,r_0163_0003__Samaritan,z_0163_5002).

fof(formula,axiom,
    ? [R_0163_0001__HER,R_0163_0002__GOOD,R_0163_0003__SAMARITAN,Z_0163_5004] :
      ( r_0163_0001__Her(R_0163_0001__HER)
      & r_0163_0002__Good(R_0163_0002__GOOD)
      & z_0163_5004(Z_0163_5004)
      & has_z_0163_5002(Z_0163_5004,R_0163_0003__SAMARITAN)
      & r_0163_0003__Samaritan(R_0163_0003__SAMARITAN)
      & has_attrib(R_0163_0003__SAMARITAN,R_0163_0002__GOOD)
      & has_gen(R_0163_0003__SAMARITAN,R_0163_0001__HER) ) ).