WS Semantics
Linking WS requires semantic unification.
Lots of smart people working on this.
cjp