Assertion: racket's string | /r/HasProperty | a subtype of u string number
Facets:
Source sentences:
text: The elements of a union type are individually subtypes of the whole union, so String is a subtype of (U String Number).