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