Assertion list
hole golf course (subgroup of golf course ) → HasProperty
Results from Ascent++: 1
hole golf course → HasProperty → open 0.59