Assertion list for term "run part".

Results from Ascent++: 1
infrastructure CapableOfrun part 0.32