 Powers-based determination (second pass): Property \(P\) determines property \(Q\) iff \(Q\) is associated with a [non-empty] proper subset of the powers associated with \(P\), and the set of powers had by \(P\) but not by \(Q\) is not (uniquely) associated with any property.