Assertion list
yacht club (subgroup of club ) → HasProperty
Results from Ascent++: 1
yacht club → HasProperty → open 0.84