It is not the case that Allowing symbolic reference to substitute for compliance collapses Goodman's strict type-token distinction, which was designed precisely to exclude such intensional relations from ontological criteria.
?Set your confidence on the premises below to see your aggregate.