Assertion list
epee (primary) → HasProperty
Results from Ascent++: 1
epee → HasProperty → heavier 0.68