Assertion list
program (aspect of skater ) → HasProperty
Results from Ascent++: 6
program → HasProperty → open 0.50
program → HasProperty → beautiful 0.30
program → HasProperty → right 0.25
program → HasProperty → difficult 0.22
program → HasProperty → suitable 0.16
program → HasProperty → perfect 0.06