( (NP (N Branch;{branch})
      (NS Offices;{office}))
  (ID 85_a_ibm_1401))

arc(z_0085_5004,r_0085_0001__Branch_r_0085_0002__Offices,z_0085_5002).

fof(formula,axiom,
    ? [R_0085_0001__BRANCH_R_0085_0002__OFFICES,Z_0085_5004] :
      ( r_0085_0001__Branch_r_0085_0002__Offices(R_0085_0001__BRANCH_R_0085_0002__OFFICES)
      & z_0085_5004(Z_0085_5004)
      & has_z_0085_5002(Z_0085_5004,R_0085_0001__BRANCH_R_0085_0002__OFFICES) ) ).