Assertion list
skate (aspect of skater ) → AtLocation
Results from Ascent++: 1
skate → AtLocation → the jig 0.25