Assertion list
scale (aspect of viper ) → HasProperty
Results from Ascent++: 1
scale → HasProperty → rough 0.68