  King (1995, 2007, 2014) argues that all propositions are facts, although not the ones that we might expect. The proposition that Mary loves John is not the fact that Mary loves John but rather (to a first approximation) the following fact: Mary, loving, and John being the semantic values of linguistic items standing in a certain syntactic relation (represented by a phrase marker tree) which encodes instantiation. King argues that his account has many virtues.  It helps solve the problem of the unity of the proposition (see the previous section), insofar as the structure of a proposition derives from the syntactic structure of a corresponding sentence.  It requires relatively minimal ontological commitments: if one accepts that there are languages with expressions designating objects and properties and in which certain syntactic relations encode instantiation, then one will accept King-propositions. The account also provides for finely individuated propositions: differences in syntactic structure of sentences will carry over to differences in the propositions expressed.  Given that the existence of King-propositions seems to depend on their being language-users who use language in certain ways, King is a conceptualist about propositions. (See section 7.2 above).