Assertion: compiler | /r/CapableOf | do semantic checking
Facets:
Source sentences:
text: A compiler which compiles C++ to C does full syntax and semantic checking on the program, and just happens to use C code as a way of generating object code.