Assertion: compiler | /r/HasProperty | semantic errors
Facets:
Source sentences:
text: Compiler verifies entire program, so there are no syntax or semantic errors