 That is, the fact that contains \(a\) as a term and \(F\) as an attribute and that is of the form \(\phi x\) exists. It has also been argued that what underlies talk about an object exemplifying a property is just the relations of being a term in a fact and being an attribute in a fact (Sprigge 1970).