Assertion list
sassafras (primary) → HasProperty
Results from Ascent++: 2
sassafras → HasProperty → stern 0.68
sassafras → HasProperty → symmetrical 0.68