Assertion list
mass (aspect of matter ) → HasProperty
Results from Ascent++: 2
mass → HasProperty → proportional 0.33
mass → HasProperty → small 0.25