Assertion list
free parking (subgroup of parking ) → IsA
Results from Ascent++: 1
free parking → IsA → plus 0.28