Assertion list
use (aspect of vinegar ) → HasProperty
Results from Ascent++: 2
use → HasProperty → endless 0.59
use → HasProperty → safe 0.25