( (IP-MAT (NP-SBJ (D;_nphd_ Something;{something}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;__ broken;{break})
                      (PP-NIM (P-ROLE in;{in})
                              (NP (NP-GEN (PRO;_genm_ my;{my}))
                                  (N engine;{engine}))))
          (PUNC .))
  (ID 40_a_saint_exupery_1943))

arc(r_0040_0002__was,r_0040_0003__broken,scope).
arc(r_0040_0003__broken,r_0040_0001__Something,arg1).
arc(r_0040_0003__broken,r_0040_0006__engine,r_0040_0004__in__nim).
arc(r_0040_0003__broken,z_0040_5003___star_,arg0).
arc(r_0040_0006__engine,r_0040_0005__my,gen).

fof(formula,axiom,
    ? [R_0040_0001__SOMETHING,R_0040_0005__MY,R_0040_0006__ENGINE,Z_0040_5003___STAR_,R_0040_0002__WAS_R_0040_0003__BROKEN] :
      ( r_0040_0001__Something(R_0040_0001__SOMETHING)
      & r_0040_0005__my(R_0040_0005__MY)
      & z_0040_5003___star_(Z_0040_5003___STAR_)
      & r_0040_0002__was_r_0040_0003__broken(R_0040_0002__WAS_R_0040_0003__BROKEN)
      & has_arg0(R_0040_0002__WAS_R_0040_0003__BROKEN,Z_0040_5003___STAR_)
      & has_r_0040_0004__in__nim(R_0040_0002__WAS_R_0040_0003__BROKEN,R_0040_0006__ENGINE)
      & r_0040_0006__engine(R_0040_0006__ENGINE)
      & has_gen(R_0040_0006__ENGINE,R_0040_0005__MY)
      & has_arg1(R_0040_0002__WAS_R_0040_0003__BROKEN,R_0040_0001__SOMETHING) ) ).