Assertion: character | /r/HasProperty | a set of values
Facets:
Source sentences:
text: A type is a set of values which a variable can possess and a set of functions that one can apply to these values.