Assertion list
head (aspect of dolphin ) → HasA
Results from Ascent++: 1
head → HasA → the melon 0.68