Assertion list
silent auction (subgroup of auction ) → HasProperty
Results from Ascent++: 1
silent auction → HasProperty → open 0.25