Assertion: virtual smart card | /r/HasProperty | created with default values
Facets:
Source sentences:
text: This virtual smart card needs to be created with well-known parameters (such as default values), and it should be left unformatted (specifically, the /generate option should not be specified).