Assertion list
cultured butter (subgroup of butter ) → IsA
Results from Ascent++: 1
cultured butter → IsA → butter 0.25