Assertion list
overlap (primary) → HasProperty
Results from Ascent++: 4
overlap → HasProperty → small 0.68
overlap → HasProperty → possible 0.58
overlap → HasProperty → greater 0.45
overlap → HasProperty → extensive 0.35