( (IP-MAT (REACT Well)
          (PUNC ,)
          (ADVP-NIM (ADV then;{then}))
          (PUNC ...))
  (ID 19_a_genieus))

arc(z_0019_5004,r_0019_0003__then,nim).
arc(z_0019_5004,z_0019_5002,arg0).

fof(formula,axiom,
    ? [R_0019_0003__THEN,Z_0019_5002,Z_0019_5004] :
      ( r_0019_0003__then(R_0019_0003__THEN)
      & z_0019_5002(Z_0019_5002)
      & z_0019_5004(Z_0019_5004)
      & has_arg0(Z_0019_5004,Z_0019_5002)
      & has_nim(Z_0019_5004,R_0019_0003__THEN) ) ).