ProductInStorage StorageID ID1
type: NamedIndividual
type: Instance Description
expression goal: Requirement
logic interpretation: >=
value: 1

ProductInStorage StorageID ID2
type: NamedIndividual
type: Instance Description
expression goal: Requirement
logic interpretation: <=
value: 32

ProductInStorage StorageID ID3
type: NamedIndividual
type: Instance Description
expression goal: Actual_Value
logic interpretation: =

ProductOnCarrier CarrierID ID
type: NamedIndividual
type: Instance Description
expression goal: Assurance
logic interpretation: =

ProductOnCarrier CarrierSlot ID
type: NamedIndividual
type: Instance Description
expression goal: Assurance
logic interpretation: =

RequiredCarrierId ID1
type: NamedIndividual
type: Instance Description
expression goal: Requirement
logic interpretation: >=
value: 1

RequiredCarrierId ID2
type: NamedIndividual
type: Instance Description
expression goal: Requirement
logic interpretation: <=
value: 8

RequiredCarrierId ID3
type: NamedIndividual
type: Instance Description
has data element: RequiredCarrierSlot DE
expression goal: Actual_Value
logic interpretation: =

RequiredCarrierSlot ID1
type: NamedIndividual
type: Instance Description
expression goal: Requirement
logic interpretation: >=
value: 1

RequiredCarrierSlot ID2
type: NamedIndividual
type: Instance Description
expression goal: Requirement
logic interpretation: <=
value: 4

RequiredCarrierSlot ID3
type: NamedIndividual
type: Instance Description
expression goal: Actual_Value
logic interpretation: =