Assertion list
upright piano (subgroup of piano ) → AtLocation
Results from Ascent++: 1
upright piano → AtLocation → sale 0.25