( (IP-MAT (NP-SBJ (PRO I;{I}))
          (HVD;_Tn_ had;{have})
          (NP-OB1;{BEDROOMS} (NUM three;{three})
                             (ADJP (ADJ warm;{warm}))
                             (NS bedrooms;{bedroom})
                             (PUNC ,)
                             (PRN (NP (NUM one;{one})
                                      (PP (P-ROLE of;{of})
                                          (NP;{BEDROOMS} (PRO them;{they})))
                                      (ADJP (ADJ empty;{empty})))))
          (PUNC .))
  (ID 175_a_loosechange))

arc(r_0175_0002__had,r_0175_0001__I,arg0).
arc(r_0175_0002__had,r_0175_0003__three_r_0175_0005__bedrooms,arg1).
arc(r_0175_0003__three_r_0175_0005__bedrooms,r_0175_0004__warm,attrib).
arc(r_0175_0007__one,r_0175_0003__three_r_0175_0005__bedrooms,r_0175_0008__of).
arc(r_0175_0007__one,r_0175_0010__empty,attrib).
arc(z_0175_5006,r_0175_0003__three_r_0175_0005__bedrooms,arg0).
arc(z_0175_5006,r_0175_0007__one,prd).

fof(formula,axiom,
    ? [R_0175_0001__I,R_0175_0004__WARM,R_0175_0003__THREE_R_0175_0005__BEDROOMS,R_0175_0002__HAD,R_0175_0010__EMPTY,R_0175_0007__ONE,Z_0175_5006] :
      ( r_0175_0001__I(R_0175_0001__I)
      & r_0175_0004__warm(R_0175_0004__WARM)
      & r_0175_0010__empty(R_0175_0010__EMPTY)
      & z_0175_5006(Z_0175_5006)
      & has_prd(Z_0175_5006,R_0175_0007__ONE)
      & r_0175_0007__one(R_0175_0007__ONE)
      & has_attrib(R_0175_0007__ONE,R_0175_0010__EMPTY)
      & has_r_0175_0008__of(R_0175_0007__ONE,R_0175_0003__THREE_R_0175_0005__BEDROOMS)
      & r_0175_0003__three_r_0175_0005__bedrooms(R_0175_0003__THREE_R_0175_0005__BEDROOMS)
      & has_attrib(R_0175_0003__THREE_R_0175_0005__BEDROOMS,R_0175_0004__WARM)
      & has_arg0(Z_0175_5006,R_0175_0003__THREE_R_0175_0005__BEDROOMS)
      & r_0175_0002__had(R_0175_0002__HAD)
      & has_arg1(R_0175_0002__HAD,R_0175_0003__THREE_R_0175_0005__BEDROOMS)
      & has_arg0(R_0175_0002__HAD,R_0175_0001__I) ) ).