   On the face of it, the grammatical form of the quasi-English sentence ‘the F is G’ indicates that it serves to express a subject-predicate (or singular) proposition true if and only if the object that exemplifies the property expressed by predicate ‘F’ also exemplifies the property expressed by predicate ‘G’. But Russell (1905) designed a method—his famous theory of definite descriptions—for eliminating the English definite article ‘the’ (as in ‘the F’) by means of a logical formula of first-order logic involving only quantifiers and variables.  On his analysis, ‘the F is G’ can be paraphrased into the general existentially quantified proposition (8):