Assertion list
figure skater (subgroup of skater ) → HasA
Results from Ascent++: 1
figure skater → HasA → ice 0.72