Assertion: virus | /r/HasProperty | a type of computer program
Facets:
Source sentences:
text: A computer virus is a type of computer program that, when executed, replicates itself by modifying other computer programs and inserting its own code.