Assertion list
bluestone (primary) → HasA
Results from Ascent++: 2
bluestone → HasA → right amount of open pores 0.30
bluestone → HasA → high degree of slip resistance 0.25