Assertion list for term "read for spelling".

Results from Ascent++: 1
proof CapableOfread for spelling 0.16