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