Assertion list
gb ram (subgroup of ram ) → HasProperty
Results from Ascent++: 1
gb ram → HasProperty → enough 0.59