Assertion list
horseshoe (primary) → HasProperty
Results from Ascent++: 4
horseshoe → HasProperty → lucky 0.57
horseshoe → HasProperty → the diagonal 0.55
horseshoe → HasProperty → shaped 0.39
horseshoe → HasProperty → the closest 0.39