Assertion list for term "covering a single model".

Results from Ascent++: 1
manual CapableOfcovering a single model 0.55