( (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 27_a_genieus))

arc(r_0027_0002__reached_r_0027_0003__out,r_0027_0001__He,arg0).
arc(r_0027_0004__and,r_0027_0002__reached_r_0027_0003__out,conj1).
arc(r_0027_0004__and,r_0027_0005__grabbed,conj2).
arc(r_0027_0005__grabbed,r_0027_0001__He,arg0).
arc(r_0027_0005__grabbed,r_0027_0006__the_r_0027_0008__man,arg1).
arc(r_0027_0006__the_r_0027_0008__man,r_0027_0007__young,attrib).

fof(formula,axiom,
    ? [R_0027_0001__HE,R_0027_0002__REACHED_R_0027_0003__OUT,R_0027_0007__YOUNG,R_0027_0006__THE_R_0027_0008__MAN,R_0027_0005__GRABBED,R_0027_0004__AND] :
      ( r_0027_0001__He(R_0027_0001__HE)
      & r_0027_0007__young(R_0027_0007__YOUNG)
      & r_0027_0004__and(R_0027_0004__AND)
      & has_conj2(R_0027_0004__AND,R_0027_0005__GRABBED)
      & r_0027_0005__grabbed(R_0027_0005__GRABBED)
      & has_arg1(R_0027_0005__GRABBED,R_0027_0006__THE_R_0027_0008__MAN)
      & r_0027_0006__the_r_0027_0008__man(R_0027_0006__THE_R_0027_0008__MAN)
      & has_attrib(R_0027_0006__THE_R_0027_0008__MAN,R_0027_0007__YOUNG)
      & has_arg0(R_0027_0005__GRABBED,R_0027_0001__HE)
      & has_conj1(R_0027_0004__AND,R_0027_0002__REACHED_R_0027_0003__OUT)
      & r_0027_0002__reached_r_0027_0003__out(R_0027_0002__REACHED_R_0027_0003__OUT)
      & has_arg0(R_0027_0002__REACHED_R_0027_0003__OUT,R_0027_0001__HE) ) ).