Assertion list for term "cover different grounds".

Results from Ascent++: 1
tutorial CapableOfcover different grounds 0.25