Assertion: concept | /r/HasProperty | predicate
Facets:
Source sentences:
text: Each concept is a predicate, evaluated at compile time, and becomes a part of the interface of a template where it is used as a constraint:
text: Might the concept of being a star instead be something such as the predicate