Assertion: concept | /r/HasProperty | t
Facets:
Source sentences:
text: concept GoodMeowableCat = Meowable < T > && is_cat < T > ; template <