Assertion list
shell (aspect of armadillo ) → HasProperty
Results from Ascent++: 2
shell → HasProperty → soft 0.68
shell → HasProperty → flexible 0.25