Assertion list
ice skater (subgroup of skater ) → CapableOf
Results from Ascent++: 4
ice skater → CapableOf → master many spins 0.59
ice skater → CapableOf → begin spinning with arm 0.25
ice skater → CapableOf → melt ice 0.25
ice skater → CapableOf → master double jumps 0.16