Assertion list
outer planet (subgroup of planet ) → HasProperty
Results from Ascent++: 2
outer planet → HasProperty → larger 0.64
outer planet → HasProperty → cold 0.63