A Formal Theory of Multiple Category Memberships and Two Empirical Tests