Assertion list
flipper (aspect of manatee ) → HasA

Results from Ascent++: 1
flipperHasA between three and four nails 0.84