Assertion list
mother bear (subgroup of bear ) → HasA
Results from Ascent++: 2
mother bear → HasA → cub 0.25
mother bear → HasA → enough fat reserves 0.25