Assertion list
main drain (subgroup of drain ) → HasProperty

Results from Ascent++: 1
main drainHasProperty big 0.25