A Specific_product_specification is a Product_specification_or_set that is defined by a set of criteria applied to the performance, form or structure of an Individual_product.
NOTE - A Specific_product_specification can be a requirement. In this case, the criteria are usually concerned with the performance of an Individual_product.
NOTE - A Specific_product_specification can be a design. In this case, the criteria are usually concerned with the form or structure of an Individual_product.
EXAMPLE - Bearing type B_1234 is a Specific_product_specification and a design. This bearing type is specified for both the driven end and the impeller end of the J. Bloggs and Co. pump type XYZ_1234.
EXPRESS specification:
*) ENTITY Specific_product_specification SUBTYPE OF (Product_specification_or_set); END_ENTITY; (*