( (FRAG (NP-NIM (NUM 19:41:00))
        (NP (NPR House;{House})
            (IP-PPL (NP-LGS *)
                    (VBD;_Tn_ adjourned;{adjourn})))
        (PUNC .))
  (ID 191_a_hedgehog;speaker=-))

arc(r_0191_0003__adjourned,r_0191_0002__House,inv_arg1).
arc(r_0191_0003__adjourned,z_0191_5003___star_,arg0).
arc(z_0191_5006,r_0191_0001__19_colon_41_colon_00,nim).
arc(z_0191_5006,r_0191_0002__House,z_0191_5002).

fof(formula,axiom,
    ? [R_0191_0001__19_COLON_41_COLON_00,Z_0191_5003___STAR_,R_0191_0003__ADJOURNED,R_0191_0002__HOUSE,Z_0191_5006] :
      ( r_0191_0001__19_colon_41_colon_00(R_0191_0001__19_COLON_41_COLON_00)
      & z_0191_5003___star_(Z_0191_5003___STAR_)
      & z_0191_5006(Z_0191_5006)
      & has_z_0191_5002(Z_0191_5006,R_0191_0002__HOUSE)
      & r_0191_0002__House(R_0191_0002__HOUSE)
      & has_inv_arg1(R_0191_0002__HOUSE,R_0191_0003__ADJOURNED)
      & r_0191_0003__adjourned(R_0191_0003__ADJOURNED)
      & has_arg0(R_0191_0003__ADJOURNED,Z_0191_5003___STAR_)
      & has_nim(Z_0191_5006,R_0191_0001__19_COLON_41_COLON_00) ) ).