Assertion list
mass (aspect of sun ) → HasProperty
Results from Ascent++: 6
mass → HasProperty → small 0.37
mass → HasProperty → sufficient 0.37
mass → HasProperty → zero 0.32
mass → HasProperty → greater 0.25
mass → HasProperty → infinite 0.25
mass → HasProperty → great 0.23