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, attrib10).
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, attrib27).
arc(z_000_175_a_loosechange_17, r_0175_0003__three_r_0175_0005__bedrooms, arg0).
arc(z_000_175_a_loosechange_17, 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_000_175_A_LOOSECHANGE_17] :
      ( 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_000_175_a_loosechange_17(Z_000_175_A_LOOSECHANGE_17)
      & has_prd(Z_000_175_A_LOOSECHANGE_17,R_0175_0007__ONE)
      & r_0175_0007__one(R_0175_0007__ONE)
      & has_attrib27(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_attrib10(R_0175_0003__THREE_R_0175_0005__BEDROOMS,R_0175_0004__WARM)
      & has_arg0(Z_000_175_A_LOOSECHANGE_17,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) ) ).

( (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 ,)
                             (IP-PPL (NP-PRD (NUM one;{one})
                                             (PP (P-ROLE of;{of})
                                                 (NP;{BEDROOMS} (PRO them;{they})))
                                             (ADJP (ADJ empty;{empty})))))
          (PUNC .))
  (ID 175_a_loosechange))