Assertion list
marching band (primary) → HasProperty
Results from Ascent++: 2
marching band → HasProperty → open 0.39
marching band → HasProperty → fun 0.28