[DFDL-WG] checkConstraints example?

Can you please supply an example of using checkConstraints to valid an enumeration? There's not one in the spec, and none of the tutorials I have demo this. Suppose I have this DFDL: xsd:simpleType ... TIA