Assertion list
asthenosphere (primary) → HasProperty
Results from Ascent++: 2
asthenosphere → HasProperty → hotter 0.49
asthenosphere → HasProperty → weaker 0.25