 Another account of expressions such as “the fact that Fa” builds on suggestions made by Russell in 1913 (Hochberg 2001). Let ‘\(\mathbf{T}\)’, ‘\(\mathbf{A}\)’ and ‘\(\mathbf{IN}\)’ express the relations ‘is a term in’, ‘is an attribute in’ and ‘informs’, respectively. These relations are the formal ontological relations between atomic facts, on the one hand, and their terms (objects), attributes (properties) and forms, on the other hand. Then the structure of “the fact that Fa exists” is: