Assertion list
rose garden (subgroup of garden ) → HasA
Results from Ascent++: 1
rose garden → HasA → picnic 0.16