Assertion: program | /r/HasProperty | designed for leisure
Facets:
Source sentences:
text: Yes, games are programs, but may be labeled as "games" and not "programs," to distinguish them as designed for leisure rather than productivity.