Assertion list
density (aspect of crust ) → HasProperty

Results from Ascent++: 1
densityHasProperty low 0.59