Assertion list
upright piano (subgroup of piano ) → HasA
Results from Ascent++: 1
upright piano → HasA → vertical action 0.25