Assertion list
shell (aspect of abalone ) → HasA
Results from Ascent++: 1
shell → HasA → a row of respiratory pores 0.68