Bug in cellular network BaseStation location inference

[mike1813]

Any Host that has no asserted or inferrable location is inferred by pattern PH-S+W to be in the global public space World. That means inferrable locations must be added before this.

Pattern CNS+RAN+BS-S+l does this for an asserted cellular network Base Station. However, this pattern assumes that a cell could be provided by a virtual eNodeB running on a physical base station, something that might be the case in a 5G network. Consequently, the pattern looks for a host providing a cellular access network with a base station as its physical host.

The problem is that the hasPhysicalHost relationship is inferred by patterns PH+hPH and VHPH+hPH, which come after CNS+RAN+BS-S+l, so CNS+RAN+BS-S+l will never be matched. If a Base Station is asserted to provide a cellular access network, but the location is not specified, then the asserted Base Station will be inferred by PH-S+W to be in the global public space World, and not in the space served by its cellular access network.