Assertion: concept | /r/HasProperty | = a u
Facets:
Source sentences:
text: || true ; template < typename U > concept B = A < U