Assertion list
lobe (primary) → HasProperty
Results from Ascent++: 1
lobe → HasProperty → convex 0.43