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