Assertion list
curate (primary) → HasProperty
Results from Ascent++: 2
curate → HasProperty → restless 0.68
curate → HasProperty → timorous 0.68