Assertion list
borderland (primary) → HasProperty
Results from Ascent++: 2
borderland → HasProperty → fun 0.33
borderland → HasProperty → rich 0.16