Assertion list
planet mercury (subgroup of mercury ) → HasProperty
Results from Ascent++: 1
planet mercury → HasProperty → visible 0.40