Assertion list
flipper (aspect of porpoise ) → HasProperty
Results from Ascent++: 1
flipper → HasProperty → small 0.68