Assertion list for term "run in prisoner".

Results from Ascent++: 1
guard CapableOfrun in prisoner 0.36