Assertion list
female duck (subgroup of duck ) → HasProperty
Results from Ascent++: 1
female duck → HasProperty → brown 0.25