Create check-value-set-subsumption.md