Assertion list
main track (subgroup of track ) → HasProperty

Results from Ascent++: 1
main trackHasProperty wide 0.25