Assertion list
skim milk (subgroup of milk ) → HasA

Results from Ascent++: 2
skim milkHasA lactose 0.25
skim milkHasA protein 0.25