Assertion list
baby boy (subgroup of boy ) → HasProperty
Results from Ascent++: 2
baby boy → HasProperty → beautiful 0.16
baby boy → HasProperty → healthy 0.16