Assertion list
new park (subgroup of park ) → HasProperty
Results from Ascent++: 1
new park → HasProperty → open 0.34