Assertion list
baby boy (subgroup of boy ) → CapableOf
Results from Ascent++: 1
baby boy → CapableOf → shower cake 0.16