Intermediate supervenience can be reformulated using restricted quantifiers within variable domains ...
This proposition has not been edited since the history system was added.