Choices for selection of a products definition.
type FirstProductChoice = enumeration(Process "First product is defined by process", Substance "First product definition is a parameter");