Assertion list
skate (aspect of skater ) → HasA
Results from Ascent++: 2
skate → HasA → four wheels 0.30
skate → HasA → equal 0.29