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