Assertion: program | /r/HasAspect | program's source code
Facets:
Source sentences: