Assertion list
mass (aspect of ball ) → HasProperty
Results from Ascent++: 5
mass → HasProperty → constant 0.84
mass → HasProperty → equal 0.35
mass → HasProperty → large 0.25
mass → HasProperty → negligible 0.25
mass → HasProperty → small 0.25