Assertion list
reusable water bottle (subgroup of water bottle ) → HasProperty
Results from Ascent++: 1
reusable water bottle → HasProperty → safe 0.59