Assertion: smart card's certificate | /r/HasProperty | presented to the user
Facets:
Source sentences:
text: Valid certificates are enumerated and displayed from all smart cards and presented to the user.