Assertion list
oboe (primary) → HasProperty
Results from Ascent++: 2
oboe → HasProperty → high 0.25
oboe → HasProperty → unique 0.25