A component has an parameter if the parameter value is given by a unary function, called an parameter-slot, that is defined for that component. Calling a slot an parameter-slot means that it is a design parameter: it will need to be assigned a value and may be mentioned in constraints. The parameter slot must have a value.
(=> (Has-Parameter-Slot ?Component ?Parameter-Slot) (Value-Cardinality ?Component ?Parameter-Slot 1))
If someone asserts that component C has-parameter-slot A, then this spec says that there exists a value for the function A applied to C. It does not say that any particular agent knows what that value is.