A single primitive trope relation (Q1825183)

Have you ever encountered a thing without a property? Have you ever experienced a property without an instance? Such thoughts led in the first half of the century to the conception of an atomic object of integral experience, called trope by \textit{Williams} [Review of Metaphysics, Vol. 7, 3-18, 171-197 (1953)]. A trope is a whole that involves both a property and an instance. In an earlier paper [J. Philos. Logic 17, 91-114 (1988; Zbl 0638.03016)], the author concluded that modal models based on trope structure are comparatively complicated. In the present paper, he finds that one primitive trope relation in a certain sense can do the work of indefinitely many, implying a revision of the earlier conclusion.