( (IP-MAT (NP-SBJ (NUM Two;{two})
                  (NS men;{man}))
          (VBD;_cat_Vg_ came;{come})
          (IP-PPL-CAT (VAG;_I_ running;{run}))
          (PUNC .))
  (ID 86_a_dick_1952))

arc(r_0086_0003__came,r_0086_0004__running,scope).
arc(r_0086_0004__running,r_0086_0001__Two_r_0086_0002__men,arg0).

fof(formula,axiom,
    ? [R_0086_0001__TWO_R_0086_0002__MEN,R_0086_0003__CAME_R_0086_0004__RUNNING] :
      ( r_0086_0001__Two_r_0086_0002__men(R_0086_0001__TWO_R_0086_0002__MEN)
      & r_0086_0003__came_r_0086_0004__running(R_0086_0003__CAME_R_0086_0004__RUNNING)
      & has_arg0(R_0086_0003__CAME_R_0086_0004__RUNNING,R_0086_0001__TWO_R_0086_0002__MEN) ) ).