Assertion list
density (aspect of metal ) → CapableOf
Results from Ascent++: 1
density → CapableOf → drop with increasing distance 0.25