Assertion: program's user | /r/HasAspect | an antivirus program
Facets:
value: always
type: TEMPORAL
Source sentences:
text: This ensures that all Windows 10 users always have an antivirus program installed and running, even if they haven’t chosen to install one.