Distinctness between or alternatives is mostly determined by the explicature.
The decision whether to rescue semantically nondistinct alternatives is pragmatic.
The nature of the rescue is pragmatic (context-dependent).
Distinctness is not uniform. Equivalence or constructions only manifest distinct forms.