If the entailment chain through intermediate supervenience presupposes a fixed domain of individuals...