 [5a] Defaults are developments of the logical form of the uttered sentence.  vs.  [5b] Defaults need not enrich the logical form of the sentence but may override it (which is orthogonal to the question as to whether defaults have to be literal meanings)