It is not the case that The supporting argument's counterexample tacitly restricts the B-base to local intrinsic properties, but global supervenience is defined over total world-histories including all relational and structural properties.
?Set your confidence on the premises below to see your aggregate.