Assertion list for term "involve scanning for value".

Results from Ascent++: 1
proof CapableOfinvolve scanning for value 0.27