( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (NP-SBJ;{YOUNG_MAN} (PRO you;{you}))
          (MD;_cat_Vi_ can;{can})
          (IP-PPL-CAT (VB;_Tn_ take;{take})
                      (NP-OB1 (NP-GEN;{GENIE} (PRO my;{my}))
                              (N place;{place})))
          (PUNC <hyphen>)
          (PRN (IP-MAT (RP in;{in})
                       (NP-VOC;{YOUNG_MAN} (PRO you;{you}))
                       (VB;_phr_Vp_ go;{go[in]})))
          (PUNC !)
          (PULQ <rsquo>))
  (ID 29_a_genieus))

arc(r_0029_0003__can,r_0029_0001__So,nim).
arc(r_0029_0003__can,r_0029_0004__take,scope).
arc(r_0029_0003__can,r_0029_0008__in_r_0029_0010__go,prn).
arc(r_0029_0004__take,r_0029_0002__you,arg0).
arc(r_0029_0004__take,r_0029_0006__place,arg1).
arc(r_0029_0006__place,r_0029_0005__my,gen).
arc(r_0029_0008__in_r_0029_0010__go,r_0029_0002__you,voc).
arc(r_0029_0008__in_r_0029_0010__go,z_0029_5004,arg0).

fof(formula,axiom,
    ? [R_0029_0001__SO,R_0029_0002__YOU,Z_0029_5004,R_0029_0008__IN_R_0029_0010__GO,R_0029_0005__MY,R_0029_0006__PLACE,R_0029_0003__CAN_R_0029_0004__TAKE] :
      ( r_0029_0001__So(R_0029_0001__SO)
      & r_0029_0002__you(R_0029_0002__YOU)
      & r_0029_0005__my(R_0029_0005__MY)
      & z_0029_5004(Z_0029_5004)
      & r_0029_0003__can_r_0029_0004__take(R_0029_0003__CAN_R_0029_0004__TAKE)
      & has_arg1(R_0029_0003__CAN_R_0029_0004__TAKE,R_0029_0006__PLACE)
      & r_0029_0006__place(R_0029_0006__PLACE)
      & has_gen(R_0029_0006__PLACE,R_0029_0005__MY)
      & has_arg0(R_0029_0003__CAN_R_0029_0004__TAKE,R_0029_0002__YOU)
      & has_prn(R_0029_0003__CAN_R_0029_0004__TAKE,R_0029_0008__IN_R_0029_0010__GO)
      & r_0029_0008__in_r_0029_0010__go(R_0029_0008__IN_R_0029_0010__GO)
      & has_arg0(R_0029_0008__IN_R_0029_0010__GO,Z_0029_5004)
      & has_voc(R_0029_0008__IN_R_0029_0010__GO,R_0029_0002__YOU)
      & has_nim(R_0029_0003__CAN_R_0029_0004__TAKE,R_0029_0001__SO) ) ).