(Keep in mind, though, a point stressed in Section 2: namely, that just what an utterance of such a sentence expresses changes, in the 'high stakes' case, to some more demanding proposition we do not have a fixed such proposition, with different standards for its truth applying in the more demanding context).
This is problematic, as it entails that the sentences 'George Bush was sitting' and 'Socrates was sitting' express propositions with radically different forms, despite their evident surface grammatical similarity.
Although most homologies concern terms with the same name, the algorithm is successful both in generating relevant propositions for terms with different names, and in ranking poorly terms with the same name which are not homologs.
If some such view is correct, it might avoid certain (unpleasant) questions prompted by earlier Fregean views: how can a sentence indicate a proposition with a different structure; and if grammar is deeply misleading, why think that our intuitions concerning impeccability provide reliable evidence about which propositions follow from which?
We now express a different proposition by "~A⇒B", with different truth conditions, governed by a new nearness relation.
If the syntactic structures of sentences and the semantic values of words occurring in them are reflected in the structures and constituents of propositions they express, sentences with different syntactic structures and containing words with different semantic values, whether true in all the same worlds or not, may express different propositions.
It is harder to see what it comes to in the case of natural languages, where a single sentence type may be used to assert many different propositions with every outward show of candor and directness in as many different concrete conversational settings.
Try it out in different roles, different departments and with different value propositions.
The option to route to the most appropriate NICE programme ensures flexibility in enabling a wide range of products, with different value propositions, to be handled.
Notice that, by MM proposition I, R_0 stays constant with different capital structures.
