Assertion: template | /r/CapableOf | enforce such a restriction
Facets:
Source sentences:
text: There is no inherent requirement that the type arguments for any particular template all belong to the same object hierarchy, although you can define a template that enforces such a restriction.