Assertion list for term "correspond to the on-cells".

Results from Ascent++: 1
bit CapableOfcorrespond to the on-cells 0.27