As a detector will always pass on the exact status of its detection to the configured output, it is not possible to use this same output on multiple modules.
If you wish to switch an output via a detector AND via a push button, then you must link this via a logic expression
IF (#Hall Detector1 = On
OR #Hall Detector2 = On
OR _Hall Push button = On)
THEN Hall Lamp = On ANDERS = Off
You can also find an example configuration on the following link: Detector_And_Manual.QDB