Assertion list for term "keep a record of all process".

Results from Ascent++: 1
secretary CapableOfkeep a record of all process 0.35