Assertion: compiler's output | /r/HasProperty | executable file
Facets:
Source sentences:
text: The final output is an executable file.
text: The output is an executable object program.