 Unfortunately, this is inconsistent (given classical logic) because of Russell’s paradox: it entails that being an \(x\) such that \(x\) does not instantiate \(x\) instantiates itself if and only if it doesn’t instantiate itself, and hence that it both does and does not instantiate itself. So any “abundant” theory of properties needs to be crafted with care.