Assertion list
hand (aspect of raccoon ) → HasProperty
Results from Ascent++: 1
hand → HasProperty → nimble 0.59