Assertion list for term "correspond to the mask".

Results from Ascent++: 1
bit CapableOfcorrespond to the mask 0.43