Assertion list
long distance (primary) → HasProperty
Results from Ascent++: 1
long distance → HasProperty → hard 0.35