QUANTIFIED RELATIONS: A CLASS OF PREDICATE LOGIC DESIGN CONSTRAINTS AMONG SETS OF MANUFACTURING, OPERATING, AND OTHER VARIATIONS

A system is provided for interchangeably packaging different types of bicycle cables and different types of bicycle locks in selected combinations. Each bicycle cable is separately enclosed in a bicycle cable package interchangeable with other, identical bicycle cable packages. Each bicycle cable package includes a bubble pack covering a coiled cable beneath a bubble. The bubble has an annular interior wall which defines a cavity and also a plurality of spaced, coplanar slots. Interchangeable bicycle lock packages are also provided. Each of the bicycle lock packages includes a stiff backing having divergent, coplanar tabs adapted for insertion into the corresponding slots in the interior bubble wall of each cable package. The cable packages are mutually interchangeable, as are the bicycle lock packages. By selectively assembling a bicycle lock package with a bicycle cable package, numerous different cable and lock combinations can be packaged and sold together as a unit.