Assertion list
dilation (primary) → HasProperty
Results from Ascent++: 1
dilation → HasProperty → necessary 0.38