Assertion list
digitalis (primary) → HasProperty
Results from Ascent++: 2
digitalis → HasProperty → necessary 0.39
digitalis → HasProperty → toxic 0.31