Assertion list
core (aspect of star ) → HasProperty
Results from Ascent++: 12
core → HasProperty → hot 0.68
core → HasProperty → dense 0.60
core → HasProperty → massive 0.52
core → HasProperty → visible 0.50
core → HasProperty → most visible 0.34
core → HasProperty → active 0.32
core → HasProperty → solid 0.32
core → HasProperty → heavy 0.29
core → HasProperty → larger 0.29
core → HasProperty → small 0.29
core → HasProperty → elongated 0.25
core → HasProperty → rich 0.20