Assertion list for term "write procedure".

Results from Ascent++: 1
engineer CapableOfwrite procedure 0.28