If the antecedent of strong global supervenience is vacuously satisfied due to domain mismatch, inte...