Assertion list
leaflet (aspect of valve ) → HasProperty

Results from Ascent++: 1
leafletHasProperty symmetric 0.30