Assertion list
nature reserve (subgroup of reserve ) → HasProperty
Results from Ascent++: 1
nature reserve → HasProperty → open 0.49