Assertion list
core (aspect of mercury ) → HasProperty
Results from Ascent++: 6
core → HasProperty → large 0.68
core → HasProperty → liquid 0.61
core → HasProperty → molten 0.60
core → HasProperty → solid 0.41
core → HasProperty → rich 0.36
core → HasProperty → small 0.31