SCHEMA product_feature_space_mim;

ENTITY feature_space_for_product
  SUBTYPE OF (product_definition_relationship);
WHERE
  WR1  :  to be completed
END_ENTITY;

ENTITY membership_of_feature_space
  SUBTYPE OF (product_definition_relationship);
WHERE
  WR1  :  to be completed
END_ENTITY;

ENTITY product_feature_space
  SUBTYPE OF (product_topology_space);
END_ENTITY;

ENTITY product_topology_space
  SUPERTYPE OF (ONEOF (
  parametric_activity_space),
  parametric_product_space),
  activity_or_state_space))
  SUBTYPE OF (product_definition);
  dimension  :  OPTIONAL INTEGER;
END_ENTITY;

END_SCHEMA;