Assertion list
formula fed baby (subgroup of baby ) → HasProperty
Results from Ascent++: 1
formula fed baby → HasProperty → hungry 0.16