Assertion: software's source code | /r/HasProperty | typed by executable program
Facets:
Source sentences:
text: Often there are several steps of program translation or minification between the original source code typed by a human and an executable program.