( (NP (N Fashion;{fashion})
      (PP (P-ROLE of;{of})
          (NP (D the;{the})
              (N Future;{future}))))
  (ID 17_a_fce_0102_2000_06))

arc(r_0017_0001__Fashion,r_0017_0003__the_r_0017_0004__Future,r_0017_0002__of).
arc(z_0017_5005,r_0017_0001__Fashion,z_0017_5002).

fof(formula,axiom,
    ? [R_0017_0003__THE_R_0017_0004__FUTURE,R_0017_0001__FASHION,Z_0017_5005] :
      ( r_0017_0003__the_r_0017_0004__Future(R_0017_0003__THE_R_0017_0004__FUTURE)
      & z_0017_5005(Z_0017_5005)
      & has_z_0017_5002(Z_0017_5005,R_0017_0001__FASHION)
      & r_0017_0001__Fashion(R_0017_0001__FASHION)
      & has_r_0017_0002__of(R_0017_0001__FASHION,R_0017_0003__THE_R_0017_0004__FUTURE) ) ).