Assertion list
cocoa butter (aspect of cocoa ) → HasA
Results from Ascent++: 1
cocoa butter → HasA → a melting point 0.25