SUBTYPE_CONSTRAINT alternate_product_instance FOR product_occurrence; (ONEOF (single_instance, quantified_instance, selected_instance) AND ONEOF (definition_based_product_occurrence, specification_based_product_occurrence)); END_SUBTYPE_CONSTRAINT; -- alternate_product_instance |