Assertion list
pup (aspect of sea lion ) → HasProperty
Results from Ascent++: 1
pup → HasProperty → underweight 0.16