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