The Alf language requires that the type of a property that is the target of a Signal send have a Signal Reception for the Signal being sent. Therefore, in order to send a Signal through a Port, the type of the Port must have a Signal Reception for the Signal.