Assertion list for term "execute on first processing device".

Results from Ascent++: 1
operating system CapableOfexecute on first processing device 0.25