Assertion list
hydrate (primary) → HasProperty
Results from Ascent++: 3
hydrate → HasProperty → stable 0.68
hydrate → HasProperty → solid 0.40
hydrate → HasProperty → healthy 0.16