Assertion list for term "being cover".

Results from Ascent++: 1
square DefinedAsbeing cover 0.28