Assertion list
acme (primary) → HasProperty
Results from Ascent++: 3
acme → HasProperty → open 0.42
acme → HasProperty → great 0.16
acme → HasProperty → successful 0.16