Assertion list for term "mail a copy of any process".

Results from Ascent++: 1
secretary CapableOfmail a copy of any process 0.40