Assertion list for term "read omission".

Results from Ascent++: 1
proof CapableOfread omission 0.37