Superveniencephysicalism entails only that a property such as having a legal power over lower courts supervenes on physical properties, not that it is identical with a physical property
property(Locke's demonstration of the moral proposition 'Where there is no property, there is no injustice.')
A right to something.
supervenes on(as used in metaphysics and philosophy of language)
Depends entirely on or is completely determined by something else—like how a painting's beauty supervenes on the colors and brushstrokes, meaning you can't change the beauty without changing those physical facts.
supervenience(Philosophy of mind and reduction; contrasted with full reduction)
A relation in which mental (or higher-level) states are dependent on physiological (or lower-level) states such that any two cases with identical lower-level bases are identical in their higher-level states; a necessary but not sufficient condition for reduction.
However, while (4) provides a sufficient condition for physicalism, it does not provide a necessary condition. Consider again the United States Court of Appeals for the Seventh Circuit. If type physicalism is true, then every property that the court has (for example, having a legal power over lower courts) must be identical with some physical property. But on the face of it, that is unlikely. Nevertheless, physicalism might still be true. If so, type physicalism is not necessary for physicalism.