Assertion: backup key | /r/HasProperty | pinned in case
Facets:
Source sentences:
text: At least one backup key must be pinned, in case the current pinned key needs to be replaced.