arc(r_0028_0002__reached_r_0028_0003__out, r_0028_0001__He, arg0).
arc(r_0028_0004__and, r_0028_0002__reached_r_0028_0003__out, conj1).
arc(r_0028_0004__and, r_0028_0005__grabbed, conj2).
arc(r_0028_0005__grabbed, r_0028_0001__He, arg0).
arc(r_0028_0005__grabbed, r_0028_0006__the_r_0028_0008__man, arg1).
arc(r_0028_0006__the_r_0028_0008__man, r_0028_0007__young, attrib20).

fof(formula,axiom,
    ? [R_0028_0001__HE,R_0028_0002__REACHED_R_0028_0003__OUT,R_0028_0007__YOUNG,R_0028_0006__THE_R_0028_0008__MAN,R_0028_0005__GRABBED,R_0028_0004__AND] :
      ( r_0028_0001__He(R_0028_0001__HE)
      & r_0028_0007__young(R_0028_0007__YOUNG)
      & r_0028_0004__and(R_0028_0004__AND)
      & has_conj2(R_0028_0004__AND,R_0028_0005__GRABBED)
      & r_0028_0005__grabbed(R_0028_0005__GRABBED)
      & has_arg1(R_0028_0005__GRABBED,R_0028_0006__THE_R_0028_0008__MAN)
      & r_0028_0006__the_r_0028_0008__man(R_0028_0006__THE_R_0028_0008__MAN)
      & has_attrib20(R_0028_0006__THE_R_0028_0008__MAN,R_0028_0007__YOUNG)
      & has_arg0(R_0028_0005__GRABBED,R_0028_0001__HE)
      & has_conj1(R_0028_0004__AND,R_0028_0002__REACHED_R_0028_0003__OUT)
      & r_0028_0002__reached_r_0028_0003__out(R_0028_0002__REACHED_R_0028_0003__OUT)
      & has_arg0(R_0028_0002__REACHED_R_0028_0003__OUT,R_0028_0001__HE) ) ).

( (IP-MAT (NP-SBJ;{GENIE} (PRO He;{he}))
          (ILYR (ILYR (VBD;_phr_Vp_ reached;{reach})
                      (RP out;{out}))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_Tn_ grabbed;{grab})
                             (NP-OB1 (D the;{the})
                                     (ADJP (ADJ young;{young}))
                                     (N man;{man})))))
          (PUNC .))
  (ID 28_a_genieus))