This paper develops -- within an axiomatic theory of properties, relations, and propositions which accords them well-defined existence and identity conditions -- a sententialist-functionalist account ...