Assertion list
free parking (subgroup of parking ) → HasProperty
Results from Ascent++: 1
free parking → HasProperty → never free 0.25