Assertion list
new planet (subgroup of planet ) → HasProperty
Results from Ascent++: 6
new planet → HasProperty → closer 0.41
new planet → HasProperty → rocky 0.38
new planet → HasProperty → large 0.37
new planet → HasProperty → habitable 0.33
new planet → HasProperty → super-neptune 0.30
new planet → HasProperty → hot 0.16