Assertion list
new baby (subgroup of baby ) → HasA
Results from Ascent++: 1
new baby → HasA → fresh air 0.19