The software would know this (since one would assume they implemented the binding from the spec), and realize the requirement was met.
The service may indicate that a SOAP module is available via something like this :.