Assertion list
flap (aspect of valve ) → HasProperty
Results from Ascent++: 1
flap → HasProperty → open 0.64