Assertion list
dole (primary) → HasProperty
Results from Ascent++: 1
dole → HasProperty → active 0.16