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