Assertion: template | /r/HasProperty | specialized for int
Facets:
Source sentences:
text: Elsewhere, a user can declare an instance of the template that is specialized for int.