Assertion list
short hike (subgroup of hike ) → HasProperty

Results from Ascent++: 1
short hikeHasProperty perfect 0.65