Assertion: computer's program | /r/HasProperty | executed by the computer
Facets:
Source sentences:
text: In the nominal case, the program, as executed by the computer, will consist of binary machine code.