Assertion list
newtonian gravity (subgroup of gravity ) → HasProperty
Results from Ascent++: 1
newtonian gravity → HasProperty → wrong 0.59