Assertion list
fang (aspect of viper ) → HasProperty
Results from Ascent++: 1
fang → HasProperty → hollow 0.59