arc(r_0020_0001__Well, r_0020_0003__then, nim6).

fof(formula,axiom,
    ? [R_0020_0003__THEN,R_0020_0001__WELL] :
      ( r_0020_0003__then(R_0020_0003__THEN)
      & r_0020_0001__Well(R_0020_0001__WELL)
      & has_nim6(R_0020_0001__WELL,R_0020_0003__THEN) ) ).

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