Assertion list
fat (aspect of milk ) → HasA
Results from Ascent++: 1
fat → HasA → five different sizes 0.25