Assertion list for term "run specified executable file".

Results from Ascent++: 1
new process (subgroup of process) CapableOfrun specified executable file 0.31