Assertion list
thickness (aspect of crust ) → HasProperty
Results from Ascent++: 2
thickness → HasProperty → variable 0.68
thickness → HasProperty → greater 0.25