Assertion list
nucleus (aspect of comet ) → HasProperty
Results from Ascent++: 4
nucleus → HasProperty → small 0.77
nucleus → HasProperty → larger 0.56
nucleus → HasProperty → solid 0.44
nucleus → HasProperty → visible 0.24